#if and only if #iff #biconditional #logical equivalence #truth balance #formal logic #mathematical logic