Lec7_DolevStrong.pdf