Notational changes & comments.