 Bertrand Russell  held that these implications reflect the logical form of a proposition expressed (in a given context) with a definite description. On his view, ‘The boy sang’ has the following logical form: