Concept of leaky abstractions

 programming

"Law of Leaky abstraction" states that:All non-trivial abstractions, to some degree, are leaky. What does this mean? In my words, anything that is non-trivial cannot be completely abstracted away