monad0068-7: CONTRAfold 2^3