Tuple negation clarification