SMS dit: Formal and transcendental logic/