Logic at work