[Journal, Oct. term 1952], Oct. 6-Dec. 22, 1952.

Tools