Did you know that height functions allow mathematicians to count and distinguish objects such as rational points of algebraic varieties ?