Definition of Eirant