Hidden condition generator, Truth