Redirecting to Sen. Mike Lee (R-UT)…