Update leaky_abstraction.md