Detta har formulerats på följande sätt : ”