intro H; split; [  a H |  e H ].