monad0059-6: CONTRAfold 2^-3

monad0059-6