äro utsedde att fungera: