Comment by hernantz

Law of Leaky Abstractions states: All non-trivial abstractions, to some degree, are leaky.