proof graph, custom callback