Verified Crisp