anon16 comments on Where Recursive Justification Hits Bottom

[anon16]

Eliezer, I want to read more about design spaces. Is this a common term in computer science? Do you remember where you picked it up?