The Abstractions Are Leaking!