The animation, pseudocode, and join order discussion all imply that the cartesian product is being generated.