monad0067-5: CONTRAfold 2^3

monad0067-5