abstraction counter fixes