fixed proof and image