Definition of Mainpernors