Not so much worried about the system, I know its good, jst sometimes I like to prove facts, and amy one that takes an unfair issue with the Axioms, is treading lightly. There is more to the story than I told, so I have some personl reasons as well.