[Journal, special term 1950], Sept. 20, 1950.

Tools