There are no propositions containing real variables.