monad0067-5: CONTRAfold 2^3