Input (grade 11): Copyright and naming The Linux kernel and most GNU software are licensed under the GNU General Public License (GPL).
Output (grade 12): Licensing, trademark, and naming The Linux kernel and most GNU software are licensed under the GNU General Public License (GPL).