justinpombrio comments on Verification and Transparency