Pure Abstraction