nicer formatting
corollary