monad0067-4: CONTRAfold 2^2