Printing negations.
Is this a binary disjunction?
Dealing with negations and disjunctions.
The start parameter doesn't matter any more.