$Con\left(ZFC+IF{S}_{WAbL\left(V_{\alpha }\right)}\right)$