monad1012-1: CONTRAFold 2^1

monad1012-1