monad0045-5: McCaskill(Tur) 2^-4