Purify abstractions.