Agda , 40 tz.