orthonormal — LessWrong