Polymorphism Is a Kind of Abstraction

The more i think about these, the definitions are superrelated, right? I think the one from structure and interpretation is more specific. And barbaliskovs is more general. It's about any type of treating two different things as if they are the same. So we can see all sorts of different kinds of abstraction. Polymorphism is a kind of abstraction. If i have an array list and a link list, there's some common set ofapi, and i don't have to know which one i have. I'll just treat them kind of the same. And ah, i'll just treat it like a list, and things should work out right? A, they are