Han måste alltså ha’