att en k. propositionefter