collision of my axioms