Definition of Gravius