@JohnPhilpin That was one of my father’s favourite jokes. He died in 1970. (Yeah, it still makes me laugh.)