Refined Abstraction