The reductio in the supporting argument assumes a possible-worlds individuation criterion for propos...