Propositions and counterpart theory