monad0055-3: CONTRAfold 2^3