x
Informal semantics and Orders — LessWrong