added images for second proof