@mathforge @robinhouston It's the cartesian product bit I have trouble with. I assume that's an easy fact viewed from the right vantage point