Unnatural abstractions — LessWrong