Missing the "induced" marker.
Is this a reduction?
Reductions have semantic content.
For PrivPred nodes, just use the final value.
How to render reductions.
Let's call reductions 'x'.
Better rendering of existence.
Better rendering of uniqueness.
Coherence rendering.
Switch on connectedness.
Guess at requirements 7, 8, and 9.
Not sure how to deal with requirement #4.
How to extract reductions.
Watch out for compatibility nodes.