A version of Arbeit used in 67-327 (Fall 2014)