On Sen. Mike Lee