GoProof Reply to Question

GoProof Reply to Question