Generics Graph
Partial and dirty but fast implementation of
Logic.