6.2 Internal definitions