[Lava 005] maths different not equal