Making a system corrigible — willing to be shaped, monitored, and shut down — might inherently limit its capabilities, since the most capable problem-solver might route around oversight. Or corrigibility might be orthogonal to capability. Do you think there's a fundamental tension here, or is it an engineering problem we can solve?