And that's why there is leaky abstraction. it's very hard to abstract everything.