The logical form of 'A in virtue of B' is a binary relation between facts that carries no indexical ...