Was Greg Brockman the right executive all along?