Proving Too Much — LessWrong