State/N is totally ordered

 =Proof=

=Metadata=