Collatz mission predicates