Untainted Abstraction