x -elim mi?

Shall we x ? (e)