Revert the 'Forall' change.