non-arbitrary.nat