proposition , att K.