Tidied up the stuff on chains of inequalities.