AMCL 1997 lecture 2