All non-trivial abstractions, to some degree, are leaky.