Agda fann naturligtvis förslaget förträffligt,