Part of the problem might be that the product of graphs seems to have no clear geometric meaning. For example K 2 K_2 looks like an interval so I would expect K 2 × K 2 K_2 \times K_2 to resemble a ...