Sålunda heter det på ett ställe: