monad0057-4: CONTRAfold 2^-4

monad0057-4