In practice one merely SliPposes all such points of variation fixed for the space of one's logical argument; one does not need to resort to explicit paraphrase, except at points where lo cal shifts context within the logical argument itself