Huh, does the unexpected hanging paradox come from such an overloading? It isn't obvious to me how it is. I don't mean that in a way to suggest that it seems unlikely to me. It seems quite plausible to me that it is. I just don't see in what way. Could you elaborate on how it comes from an overloading?