fixed newline
added more utilities

added \overbar, \contradiction, and changed homework environment to just
"problem"