SMS dit: Language logic and mathematics/