monad1011-4: McCaskill Turner 2^-2