If grounding can be adequately modeled hyperintensionally without counterpossibles, their inclusion ...