och däruti heter det: