monad0015-4: CONTRAFold 2^4

monad0015-4