Det förelåg eljest ett annat förslag,