Definition of Pretor