"Tarski" would be a great name for a villain
@niplav Anyone old enough to remember, would automatically relate it to "... and Hutch", which would make it more suited to the protagonist of the story, not the antagonist.https://www.imdb.com/title/tt0072567
@frittro maybe the antihero version could be Tarski and Critch
a Schelling point for those who seek one