alexandracar comments on Make Powerful Machines Verifiable