Many thanks to Michael for this joke.