inder förutsättning att K.