[Abstract 004] maths different not equal