Don't italicise proof narrative
Make all listings into figures, and change list of listings to list of figures