x
Proof technique - History — LessWrong