monad1008-1: CONTRAFold 2^3