"Yes! Russell and Whitehead. It’s like this: when mathematicians began fooling around with things like the square root of negative one, and quaternions, then they were no longer dealing with things that you could translate into sticks and bottlecaps. And yet they were still getting sound results."