``AlF_3`` is soluble in HF only in presence of KF. It is due
to the formation of
(1) ``AlH_3 ``
(2) ``K[AlF_3H]
(3) ``K_3[AlF_3H_3]``
(4) ``K_3[AlF_6]``