A note on Gibbard’s proof