Markov Enforcer