SMS dit: Formal and transcendental logic, by