Against Elves I think the safe line is always kill the first couple of elves you see. In this scenario I would probably Fatal Push his play and Ponder in my next turn (also dig one more card to find...