Thinking with Computers, Part II.