nonarbitrary.nat