Verified Purity