föreslagit , alt dedubbla