Abstraction is about eliminating the details, not ignoring them. If I have ((a,b)->b), it behaves precisely the same way regardless of what those variables rep

Abstraction is about eliminating the details, not ignoring them. If I have ((a,b)->b), it behaves precisely the same way regardless of what those variables represent. Do I need to do null check? Irrelevant. B is being reused, do I do a deep or a shallow copy? Does it have a copy constructor? Irrelevant.