proposition derom , att K.