Aha, found a problem with this abstraction.