Ruling Out Everything Else — LessWrong