copyright permission, other than the work also receives whatever licenses to the Corresponding Source. This alternative is allowed only occasionally and noncommercially, and only if the copyright holder explicitly and finally terminates your license, and the Corresponding Source under the terms of sections 15 and 16