Journal of House of Representatives, 92d Congress, 2d session, begun and held at city of Washington, Jan. 18, 1972-[Oct. 18, 1972].