digraph Syzygy {
  KRNNvK -> KNNvK;
  KRNNvK -> KRNvK;
  KRNvK -> KNvK;
  KRNvK -> KRvK;
  KNNvK -> KNvK;
}