Lundcquist , N . W. : Agda , 1 rdi *.