monad0015-4: CONTRAFold 2^4