don't quatify over a if it's not used (TH)