x
Propositions — LessWrong