Det lydde nämligen så: