Insofar as we adhere to that idealized schematism, we think of a science as comprising those truths which are expressible in terms of 'and,' 'not,' quantifiers, variables, and certain predicates appropriate to the science in question.