Supplementary work for Computational Learning Theory tutorial @ Oxford