In practice, a positive statement is one that contains no negation symbol, or else one in which any negation symbols are as far inside the statement as is possible, without the resulting expression being unduly cumbersome. 