monad0056-5: CONTRAfold 2^-2