GRUE

Definition of GRUE