On Larry Craig's Decision to Serve Out His Term in the Senate