tion that "2+2=4" and Fermat's Last Theorem are
statements that refer to different underlying domains, but without
a better grasp of the complete domain to which the latter refers --
for example, do the properties of the proof that detours through
a wild open range of many intermediate domains, like algebraic
varieties, elliptic functions, and modular forms, just for
starters, also accrue to the statement of the theorem on
the grounds from which it initially took off?  Beats me.
Or what happens when somebod