Lec17-Verification-and-interpretibility.pdf