style

Logic should be in the positive

Logic should ask, "Is this true?" instead of "Is this not true?"