monad0067-4: CONTRAfold 2^2

monad0067-4