3.2.4 Internal Definitions