While we're on the theme of fighting poison with poison*, may I suggest we try to implement a penal regime whereby trustworthy criminals are sentenced to work on legally relevant but undecidable problems (think: the intersection of DCFGs :)

*an extreme-orientalist** take, not on chemo/homeopathy, but Mithridatism

https://www.buffalo.edu/ubnow/stories/2021/08/yan-liu-conver...

**because Mithridates ought to be considered the ur-oriental ("u-riental"?)