Document COLLATZ procedure