Couldn't market-traded options be rolled back in the event of a hack, though?