Fixed abstraction