under förutsättning att K.