x
Proving too much - History — LessWrong