Mental Abstractions — LessWrong