Redirecting to Multi-valued logic