I've now proved the Trichotomy law for N, I think