Finished less/greater-than alternatives, as well as the formatting