CarlShulman comments on Google Solve for X