SMS: Summulae logicae.