Contradiction​(AngouriMath.​Entity)

Whether predicate, a conjunction, asks one quantity q to be
zero and not zero, or zero and of a sign -- false for every value, complex or not -- in
Always; and otherwise the quantity it asks to be both positive and negative,
which is false for a real one and undecided off the real line, or null. A quantity is
read up to a constant factor, which only the direction of a sign depends on:
f = 0 and not 2 f = 0 contradict each other.