Lectures 12 and 13 are on GitHub