unruly abstractions — LessWrong