Redirecting to Truth-value semantics