MODIFIES

Definition of MODIFIES