Experimenting with the king of France: Topics, verifiability and definite descriptions