SMS dit: Key terms in logic