Definition of Gavelman