Imagine, what if, we lived to see a theory of quantum gravity in our lifetimes!
Well funded researchers around the world, like string theorists, have free time to think, homes to live in, whiteboards to write on, comfortable office chairs, Mathematica packages, drawing tools, various useful apps, food, and the list goes on. The theory ought to exist already.
The easiest way to control a witch’s research output is to make sure that she has none of these essential resources. For example, I did buy a $5 ipad algebra package, which might not do as much as Mathematica, but in principle would allow me to multiply a few matrices together. But what a scary prospect that was for Big Brother! His hacker team soon made sure that the app on my ipad didn’t work properly, and any attempt to enter interesting eight dimensional objects tends to fail. I mean, usually the app just crashes and I have to reboot the device. Every time.
Luckily, I am from an era when everything was done by hand! You will not stop a witch this way!