It is not the case that Church's argument assumes that propositional attitude reports are fully transparent to co-referential substitution, a premise Frege's own framework was designed to deny.
?Set your confidence on the premises below to see your aggregate.