Beziau, J.-Y. Is P and ¬p a Contradiction?. LLP 2025, 1-14.