[Agate 001] maths different not equal