It's more that they're kind of magical. You think you have a handle on how they behave, then you see a theorem and them and you're like "how the hell do they do that?"