A differential reinforcement procedure used to eliminate challenging behaviors. It involves withholding reinforcement for the occurrence of the challenging behavior and providing reinforcement for a specific functionally equivalent alternative behavior.