...because all non-trivial abstractions leak.