Stedman proving tools