Added alternative proof that Id preserves isSet.
Update Everything module.