<注意１>
現在の
Quixote
では、N-1, N+1 などは実現されておらず、 実際は successor 関数を用いています。