x
Proof technique — LessWrong