monad0062-5: CONTRAfold 2^1