The Law of Leaky Abstractions