The translation from singular reference to 'the' singleton function into universal quantification ov...