---

title: 'Operators must include negate, which mutates: Removes a \+; negates the condition of an if-then-else.' status: open text_ref: readme:README.md#L119 tags:

• strict-modeling
• confidence:0.90
• confidence-band:high
• provenance:readme-readme-md-l119
• lane:strict

semantic_text: 'Operators must include negate, which mutates: Removes a \+; negates the condition of an if-then-else.' logic_claims:

• CLAIM-80D88D3ED898DA32

semantic_clauses:

• 'Operators must include negate, which mutates: Removes a \+; negates the condition of an if-then-else.'

semantic_inventory_version: kibi.semantic-inventory.v1 semantic_source_field: semantic_text semantic_source_hash: ff9583c2ca1422e5f349e3f7346c433da52d4c8f9ff0da0859b4ea2a7c16d173 semantic_inventory:

• claim_key: CLAIM-80D88D3ED898DA32 claim_text: 'Operators must include negate, which mutates: Removes a \+; negates the condition of an if-then-else' role: normative status: modeled span: start: 0 end: 102 origin: kind: import ref: readme:README.md#L119 recorded_at: '2026-10-29T16:05:27.534Z' firmness: firm required_evidence: asserted id: REQ-AUTO-0675D067D8B21673 type: req --- Operators must include negate, which mutates: Removes a \+; negates the condition of an if-then-else.

Source

| negate | Removes a \+; negates the condition of an if-then-else | \+ member(X, L) to member(X, L) |

Source: Mutalog README - README.md#L119