Updated wording on C0 verification research