Han har redogjort för de k.propositionerna