[1-5] changed sol to last question: emptyset product is terminal, not arrowless