Some thoughts on Inequality by Mike Batchelor