Efter detta antages det ,att