[Ice 001] maths different not equal