I always wondered how this affects the explanation of reflection.
If you consider the reflection line representing the mirror, actually none of the physical properties of a mirror enters the proof at any point. The proof therefore applies to any imagined line.
So why aren't there reflected...