fix abstraction defs