Och om detta hade skett,