SMS: Key terms in logic