Auxiliary Definitions
In this section: