Elliptic_regularity loading ...