Add provisional proof example.