Det heter nämligen på sagda ställe: