monad1012-1: CONTRAFold 2^1