Eaton's_inequality loading ...