Now actually checks and displays proofs OK for simple tests.