som ofvan är antydt,