Agda , Lind , utkl.