[Crystal 001] maths different not equal