New version adding paragraphs about shapes and recursion