P2 illicitly slides from 'at least one isomorphism is A-preserving' to 'an A-preserving isomorphism ...