writing about cliques and anafunctors