Reasoning: how we’re doing it