If 'knows' is semantically invariant, the CP-argument's premises express the same propositions acros...