proofgraph changed to explanation in log