It is not the case that If propositions are individuated by sense-equivalence rather than syntactic structure, the correlation W cannot be well-defined, since 'mentioning' a class is not a purely extensional relation.
?Set your confidence on the premises below to see your aggregate.