![Programming Puzzles & Code Golf](http://cdn.sstatic.net/Sites/codegolf/img/apple-touch-icon.png)
This is a somewhat proof-golf-like cops-and-robbers challenge. This is the cops' thread.
Cops
Your task is to define an abstract rewriting system in which the reachability of one word from another is difficult to prove. You will prepare the following things:
A set of symbols, called the alpha...