Insights on proof