Fix abstraction definition