I förslaget heter det: