Redirecting to Logic optimization