Checking reinforcement in a model