A grounding condition that is explanatorily redundant cannot be the correct account of the necessity...