State/Nonzero naturals are successors 1