And Symbol Logic Stats