Liuntequist , N . W. : Agda,