generated at
graph reduction