Necessity and Warrant — LessWrong