Tag auxiliary hypotheses