A set is said to be countable if it can be put in bijection with the positive integers. It is a remarkable fact that a set with more than “double” the number of elements, namely the integers, is countable. Even more remarkable is that the rational numbers are countable. We prove the latter in this video using a counting method whose visualization is called the Cantor snake.