 Given that Ruth Rendel and Barbara Vine are co-designative proper names, sentence (25) implies that Jackson Pollock was painting Barbara Vine. Therefore the first test fails. Co-designative proper names are substitutable salva veritate in progressive constructions. The second one, however, applies, since 