Det förra af dessa förslag lyder sålunda: