Why? Mathematical abstractions are leak-free, and so are a lot of computer abstractions. What's wrong with emphasizing the leakiness in some cases?