If at least some first-order properties are necessarily wrongmaking or necessarily rightmaking, then...