If every B-preserving isomorphism between two worlds must be A-preserving, then if any B-preserving ...