Define leaky abstraction.