Trade-marks [etc.].

Tools