monad1030-1: CONTRAFold 2^1