Rule 1: Definitions