K , m:ts propositioner,