Is it so, perhaps, that anyone who desires a property thereby desires a proposition Y; and hence also desires the property of inhabiting a world where holds, which need not be the same as the original property X?