Definition of Ledgrevius