3.11 Internal definitions and the environment model