In the GPLv3 license, it states:
“Additional permissions” are terms that supplement the terms of this License by making exceptions from one or more of its conditions. Additional permissions that are applicable to the entire Program shall be treated as though they were included in this License, to the extent that they are valid under applicable law. If additional permissions apply only to part of the Program, that part may be used separately under those permissions, but the entire Program remains governed by this License without regard to the additional permissions.
Does this mean that the MIT licensed code, if used separately, is still MIT licensed?
Can the original copyright holder of the original MIT licensed software continue to distribute that software under the MIT license if all or part of their work is incorporated into another project that has a GPL or AGPL license?
For example, MIT licensed project A is included in GPL licensed project B, but project A remains an independent project that does not include GPL code. Can project A stay MIT licensed?
Can the code that is MIT licensed be extracted from the GPL project if it has not been modified and it is clear that that particular code was MIT licensed? (i.e. "that part may be used separately under those permissions.")