monad1030-1: CONTRAFold 2^1

monad1030-1