For example, the statement 'Napoleon was born in Corsica' can be expressed in the form, (x) (x x), in words: it is true for all values of that, if is identical with Napoleon, then was born in Corsica.