You are here

universal propositions containing