K. M:t i on propositiontill