Denna måste alltså ha varitett