ANIMADVERTED

Definition of ANIMADVERTED