Is formal logic a valid description of the world? I argue that it can’t be. Let’s start from an example.