monad0059-6: CONTRAfold 2^-3