Winnie's proof does not show that a theory is multiply realized in my sense unless the postulate of the theory is free of mixed terms: predicates whose extension includes theoretical entities, and the like.