If the 6 Democrats who voted “no”, and the one who didn’t vote (who was that?), had voted “yes”, the vote would have been 216-216, no?