Actually, as I have said, his result applies only to a truth functional context with just one (occurrence of a) description without free variables and no descriptions embedded within the descriptions or quantified into.