working collatz calculator: the order of existentials matter.