Definition of Petty Sessions