verkligen Agda framför honom.