Formal "left" and "right" definitions — LessWrong