 Putnam noticed early on that if the above explication of the content of mathematical sentences is modified somewhat, a substantially weaker background assumption is sufficient to obtain the correct truth conditions (Putnam 1967). Putnam proposed the following modal rendering of the content of a sentence \(\phi\) of the language of analysis: