Agda och 1 *.