I mean, the upstream question we're discussing is whether tor is appropriate if your threat model includes state actors.