the line cited for this rule must contain an existential statement. be sure that the wff in the cited line does not simply contain an existential statement as a component.