leaky greenspunned abstractions