Robuta

https://kunnas.com/articles/halting-problem-of-law