digraph Syzygy {
  KBNvK -> KNvK;
  KBNvK -> KBvK;
}