TODO: union all bidix transducers into a single prefix transducer before intersecting