Definition of Petty