[Rough Rock 013] maths different not equal