Pure Abstractions