C o n ( Z F C + I F S W A b L ( V α ) ) Con(ZFC+IFS_{W\!Ab\,L(V_{\alpha})})