more format improvements
more formatting, till corollary 2