BSD Plan for 2007-05-16 1. Define Kolyvagin's cohomology classes c_lambda. 2. 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.