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