But there are royal roads. I mean, that is what mathematics is all about, finding those royal roads. We just may not know them yet. I doubt that topos theory is a royal road. But it is at least one of these dirty side roads I need to travel to get to the royal road.