monad0063-4: CONTRAfold 2^3