M:ts ofvan nämda propositionom