To show mathematically that a 4 can be found is to describe what it is like to find a 4. And to find a 4 is here a process in space and time.