Informal semantics and Orders — LessWrong