"I see, you're thinking of co-typing as intersecting sets, but it's not necessarily so. There is no..."