x
Law of syllogism — LessWrong