Det anförda exemplet lyder i korthet: