sentence1: recently teleman announced a proof of the virasoro conjecture for all manifolds with semi-simple quantum cohomology .
sentence2: recently teleman announced a proof of the virasoro conjecture for manifolds with semi-simple quantum cohomology .