If propositions are individuated through their inferential roles rather than through substantial pro...