General Public License Definition