I wasn’t trolling; I meant exactly what I said.
First, as I pointed out just now, I didn’t say that national mathematical societies should expel anyone, or that department chairs should refuse leave to staff who want to work for the scret services. I merely said they could. The academic mathematical community has been cooperating with the secret services for so long that we’re at risk of forgetting that we get to choose.
Second, I didn’t mention refusing faculty permission to accept grants.
Third, the nearest I came to that was saying that department chairs could refuse faculty permission leave to work for the intelligence agencies. Academics request leave for all sorts of reasons, and whether it’s granted is at the discretion of the department chair. (This is the case in the UK, at least, and I suspect many other countries.) There are all sorts of reasons why the chair might refuse.
In the case at hand, perhaps the university has an ethical policy that’s contravened by some of the NSA/GCHQ’s actions. My own university, Edinburgh, does have an ethical policy, which led to it disinvesting in a company that made parts for drones. I haven’t read the policy, but it’s not beyond the bounds of plausibility that GCHQ falls foul of it.
Finally, this has nothing to do with academic freedom. No one is stopping anyone from doing whatever mathematics they want to do.
