upprepade Agda , och ihvad