Agda , sorn envisats att följa nied och sestark