As proof and proving are the key elements of mathematics, several frameworks evaluating this process have been presented. Proof image, being one of them, was introduced by Kidron and Dreyfus (2014) through analyses of two mathematicians' activities. Authors clarified it in the context of components, and emphasized its relation with formal proof. However, despite mentioning its possibility, they didn't present any case where proof image exists without the formal proof. This led us investigating dynamics of such cases. Multi-stage sampling was preferred, and 120 pre-service teachers were asked to prove two theorems about algebra firstly. Then, task-based interviews were conducted with 3 participants, who proved both theorems. Moment-by-moment analyses were conducted and sub-dimensions were discussed in detail. Additionally, role of "enlightenment" was reinterpreted and feeling dimension was elaborated. Consequently, it was identified that one participant had an image although she couldn't reach the formal proof, and her story was presented.