Complete this formal proof in BOOL following all conventions from the textbook.

Hint: pay attention to the subproof lines and the line that is filled in$!$

$1.|$

$2.||$ Q Assume

$3.||$

$4.||$

$5.|$

$6.|$

$7.|$

$8.$ ~PvQv~Q