Given a group <I>G</i> and a generating set <I>S</i>, what is a Cayley digraph of <i>G </i>  with generating set <I>S</i>?