Joe Rogero comments on Make Powerful Machines Verifiable