monad0068-7: CONTRAfold 2^3

monad0068-7