Union with Superset is Superset/Proof 2