$Xe\mathop {O{F_4}}\limits_{'X'} \, + {H_2}O\, \to \mathop {\mathop {Xe}\limits^{ + 6} {O_2}{F_2}}\limits_{'Y'} \, + \,2HF$