concision
cleanup and formatting of some of higher-numbered problems