EL rtT { -Do