Regularity_theory loading ...