Extended definition of proper tree