Loading theorem graph.