Axioms .2 and .4 as Interaction Axioms

Open in new window