what underlying asset would you buy the options on? if it's just on the overall market, then what advantage is there for wework to do that versus an individual investor?