and not at the top of the GNU General Public License permits making a modified version, on a patent license to downstream recipients.