Nu vet man alltså,