Definition of GAVEL