I like it, but I’m missing the step where the “si” went from regular text to italic text. Can you elaborate further on this part of the proof?