Logical tests: inequality.