XYZ_inequality loading ...