antagande och Kiedeus äterstallandr.