name attribute of wsdl:fault always equal to that of soap:fault

Hi,

Hope this is the right list for this question. In WSDL 1.1, the name attribute of soap:fault must match
that of its parent:

                        <wsdl:fault name="f01" >
                                <soap:fault name="f01" use="literal"/>
                        </wsdl:fault>

My question, if that is the case, why it needs a name attribute at all? Why have a redundant name
attribute?

Thanks!