Restore a product requirement.

It was deleted due to naive assumptions about it not being needed.

This brings home that we really need to formalize the products
mechanism, so it's easy to figure out who produces what and who
consumes what.