And Symbol Logic Math