Perfect_Fields.Perfect_Field_Altdef