正規順序ってのは、
実装用ではなく、
人間の理解に資するための方法ではないのだろうか？