Dynamic Abstraction