Complete this formal proof in FOL. Obey all conventions from the textbook $($no spaces, drop outer parentheses, etc.$).$

Prove: Ex~Q$($x$)$

$1.$Ex~$($Q$($x$)$v~P$($x$))$ Premise

$2.|$ Assume

$3.||$ Q$($n$)$ Assume

$4.||$ Q$($n$)$v~P$($n$)$

$5.||$

$6.|$ ~Q$($n$)$

$7.|$ EIntro;$6$

$8.$ Ex~Q$($x$)$