hade någon hjelp af Agda.