monad0058-8: CONTRAfold 2^-3