monad0062-5: CONTRAfold 2^1

monad0062-5