has anyone here checked the congressional record?
See post #8 for an image of part of a page of 1986 Congressional Record.