SMS: Logik und Theologie