Any claim previously using 'the' singleton function can be recast as a universal quantification over...