proposition , j till K.