Lec 10: auditing the artifact and the judge

The lecture slides release on November 24.