 Normally, to decide whether a proposition of the standard subject-predicate form is true or false, one checks whether the subject is in the extension of the predicate.The proposition is then true if and only if the subject is in the extension of the predicate.The problem is that there is no present king of France, so the present king of France cannot be found on the list of bald things or non-bald things.