[brewmarche]

That’s how we distinguish the Cox–Zucker Machine [1] from other Cox-Zucker Machines (scnr)

[1]: https://en.wikipedia.org/wiki/Cox–Zucker_machine

[dredmorbius]

So, does it take a Cox–Zucker to know a Cox-Zucker, or vice versa?