monad0059-5: CONTRAfold 2^-1