you probably know, but just in case: if you make the mines in s10/4 part of a different federation first, it will then be legal to make the academy-tp fed you wanted