Man hade nemligen föreslagit,