starting to add SET axioms