Extensions and Intensions — LessWrong