Hybrid Abstraction