started the synch2 proof