Susie, I dont beleive his preconditions like geometry, logical flow comes from the "postulates" the theorems, and the knowns have you ever heard of the zebra killings?