Fill in the information in the following proof for this argument

$(WG)$

$(AP)$

$(WvvA)$

$|(PvvG)|$

$1P$ from $4$ by NOR

$1A$ from

$1W$ from

$1G$ from $1,7$ by IF THEN

$1G$ from $4$ by NOR

$10.|$G from $9$ by NN

:$.(PvvG),$ from $4-9$ by $RA$

What is the missing justification for line $7?$

from $2$ by NN

from $3,6$ by IF THEN

from $1,3$ by NIF

from $3,6$ by OR