Wei Dai comments on Assuming we’ve solved X, could we do Y...