set axioms, sym application tries to fill type