There is -there are and propositions

There is -there are and propositions