monad0055-3: CONTRAfold 2^3

monad0055-3