Bindings get bubbled as early in the sequence of bindings/conditions as possible

Define Element type

'true' conditions get filtered out