Universal quantification over singleton functions presupposes a determinate domain of such functions...