Thomas, J. Differences and (in)equalities. BAGOAS 2018, 12.