Om nu detta inträffade,