Abstraction leak