Ticking a condition in our app switches on an allergy, and unticking the condition does not switch the allergy off

Two profile layers that overlap on exactly one ingredient, a toggle that is deliberately not an involution, and why the implication is written into storage instead of derived at read time.