Update check-value-set-subsumption.md