Aluminium trifluoride is insoluble in anhydrous HF but dissolves on addition of NaF

Aluminium trifluoride is insoluble in anhydrous HF but dissolves on addition of NaF. Aluminium trifluoride precipitates out of the resulting solution when gaseous is bubbled through. Give reasons.