Det heter i dem: