[Crystal 002] maths different not equal