logic: ordering, equality, And, Or, and Not