one is "git push", there is a little bit because switching is a windows 95 style window in front of the earlier work. A "covered work" means either the unmodified Program or any portion of the Affero