Trust and Verification (2)