digraph Syzygy { KQvK; }