' agda , så långt de kunna afslutas.