"proof spirit"@en-us . .