Self-Distributive Law for Conditional/Formulation 1/Proof 1