Math is logic. It's that simple. Our formulas and processes in math are a machine to places facts through. In my logic class I learned that all there is to it is premises and conclusions. You only need two facts makes an argument. A premise and conclusion. More than one premise in an argument is connecting one conclusion to the next over and over until you reach the ultimate conclusion. One thing I've realized today, something we already know just never realized in the AI space, is that Intelligence is a different metric General intelligence.They are different skills and mental capabilities. A person can be very generally intelligent, but not specifically intelligent, like a mathematician. Free form intelligence vs rules based intelligence are different things. In our approach we need to realize this.