 And 13 Republicans voted no. I had a majority of the Republicans. Some of the sponsors of the Raines Act voted no. It appears that way. So I was disappointed, but it illustrates the difficulty of getting Congress to take this kind of responsibility. Did they tell you why they voted no?