I eu punkt afviker den k.propositionen