If the proposition consisted of a function 'Bald( )' and an argument indicated by 'The present king ...