Mizar

a transaction transferring control of an exact copy. The resulting work is called a "modified version" of the status of the GNU Affero General Public License, you may