The notes and "exercise" for our first CompSoc lecture on 29/10!