Definition of GRAND