Huh. Well, yes, it has indeed now been deleted. I guess that's the end of that line of thinking then.