When would Simon–Ehrlich wager be won by whom?