final edit: comments, fixups
final edit: lots of discussion