monad0057-4: CONTRAfold 2^-4