Complete this formal proof. There are many different ways to do so--you must figure out how we did it given the lines below. Follow all conventions from the textbook. For example, no spaces; drop outer parentheses; use A for the universal quantifier; use -> for arrow; etc. Some have been done for you. A vertical bar "|" signals a subproof line. 1. ~Ex(P(x)&~Q(x)) Premise