For, if Fx and Gx stand for coextensive open sentences, then the singular terms (x: Fx) and x: Gx) designate the same class, the same ab stract thing, and such was my definition of coextensiveness of singular terms.