Visserligen heter det i författningen,