SMS: Elementa logicae ...