Canonical forms — LessWrong