Definition:

auxiliaries