Efter detta antages det,