Thanks for your kind note and your helpful comments. ... was there a textbook for the course? If there was, could I get the ISBN — iff it was any good I mean. (edit: apparently this stuff is too new to have textbooks, but blokhead (a phd student) pointed me to this: Survey of PBC protocols, which is quite wonderful.)