  Let ‘\(X\)’ abbreviate the definite description ‘the quale distinctive of Humbert’s experiences of red things’ (by hypothesis, this definite description is coextensive with ‘the quale distinctive of Nonvert’s experiences of red things in the counterfactual inversion scenario’).