Fun article, great style. Couldn’t equality and lte be done more simply with a cross multiply?