process (Environment c 1) = Environment c 1 process (Environment c n) = Environment (c+1) (hailstone n)