Sistnämda förslag är gruodadt på den förutsättningen,