SMS: Late medieval logic