Let's reason