 That this sentence states the existence of a functional dependence of kinetic energy on mass and speed is particularly clearly seen from the fact that if the sentence is true, the unique Skolem function for the quantifier \(\exists e\) actually is the physical law connecting masses, speeds and kinetic energies (cf. Hintikka 1996: 34–35).