Change definition of regular pair, followup theorem