Fagin's theorem and Immerman-Vardi establish co-extensionality of classes, not identity of propertie...