This is how we will forever know that 4 > 3