First sentence is confusing.  Maybe: "If true, include all users from the previous that are not filtered by `event_filter`.

Then include your example.

Also: specify that there's an error if the first FunnelStep has invert=True