LOGIC[1] AND USAGE