1. Since, for simplicity, we are working with expressions in negation normal form, there is no need of a third element to indicate whether the current subformula is or is not negated as a component of the sentence.