graphs, refinements, interpretations also between graphs