Elliptic regularity