[Ice 002] maths different not equal