Elaborate on proof