Complete this formal proof following all conventions from the textbook. Hint: make sure to do cases from left to right (P first). Try it in the proof machine. Notice that the proof machine starts with 6 lines and this proof takes 8 lines, so you'll need to use the add row button.
Stuck on line 5, not sure what I'm doing wrong