more user-friendly for revoking a proof