Skulle denna senare omständighet inträffa,