EQtm !≤m Etm

Is EQtm not mapping reducible to Etm ?