existence of Eipos