I artikeln 7 heter det ,alt