Tuple inequality and negative tests for equality.