digraph Syzygy {
  KRRRRvK -> KRRRvK;
  KRRRvK -> KRRvK;
  KRRvK -> KRvK;
}