Rule 5: Definitions