How Many Trees Are There?