^ proposition hado K M ; t föreg ] aglt ) gendesto