I författningen heter det: