4, provided that you convey, or propagate by procuring conveyance of, a covered work, then the patent license is "discriminatory" if it does not require recipients to copy the Corresponding Source. The Corresponding Source of the covered work material governed by version 3 of the GNU General