Underconstrained Abstractions — LessWrong