TEE:er är en nödåtgärd för integritet/verifiering tills vi kan få matematiska bevis på ett praktiskt sätt.