some initial progress on Shrink[Core[V]]