How Could It Fail?     There exists a nontrivial cycle on the positive integers. There exist positive integers with divergent trajectories.