Vaughn Pratt has discovered something missing from the Atrianglepair and Vtrianglepair macros. Anyone who wants the corrections should write to me. There is no point in trying to send it to you since they would get screwed up in transit. I must say that the phrases ``dependent sum'' and ``dependent product'' really meant nothing to me and Larry Paulson's note on ``dependent product'' and ``dependent function'' was a revelation to me. So I would advocate going back to those old terms, for what my opinion is worth. Michael Barr inhb@mcgillb.bitnet inhb@musicb.mcgill.ca