October ProgBlog #3: borked (and partly noteorial)