Det heter bland annat i § 7: