Classical logic validates (A ∧ ¬A) → B for any B, yet this explosion schema is not merely tolerated ...