When predication in the mode of necessity is di rected upon a variable, the necessity is de re: the predicate is meant to be true of the value of the varia hie by whatever name, there being indeed no name at hand. '