digraph Syzygy {
  KRvKN -> KNvK;
  KRvKN -> KRvK;
}