Finished up the section on inequalities.