BSD Plan for 2007-05-18 1. Quickly recall definition of Kolyvagin's cohomology classes c_lambda. 2. Prove that c_lambda in (E(K_lambda)/M)^(G_lambda) 3. 389a explicit example (!?) 4. Discuss projects. -- verify triviality of Sha(E)[p] for more curves of rank 2 and more p. -- computing a_p -- 2-descent -- congruence graphs, isogeny graphs. 5. Do evaluations.