A U.S. Senate Picked by Lottery, Not Election: How Would It Work?