Adjust p11.prod for correct behavior with empty sequences.
Add problem 12.