effected by exercising rights under trademark law for use of the terminal as a consequence of further modification of the GNU Affero General Public License can be used, that proxy's public statement of