A relation holding vacuously—because necessary properties admit no variation across any possible wor...