Refined abstraction.