sketch of what the new, abstract VertState should look like for MIS