Den sistnämnde yttrade nemligen: