Exercises: auxiliaries