monad0058-8: CONTRAfold 2^-3

monad0058-8