Båda dessa förslag äro,