Necessary truth as analyticity, and the eliminability of monadic de re formulas