Add pictures to proof