Questions involving proof