Perfect Abstraction