SMS dit: Mathematical logic.