Complete this formal proof of ~Ex~P$($x$).$ As always: use all conventions from BOOL and PROP. $($everything written is given$)1.$ Ax~$($P$($x$)->$Q$($x$))$ Premise $2.|3.||4.||$ AElim;$15.|||6.|||7.|||8.||9.||10.|11.$