Testing implication changes.