GROOF

Definition of GROOF