Implement rule withdrawing.