intersecting triples axioms