On: Query Engines: Push vs. Pull

[rzzzt]

Ahh, you are right. My eyes somehow drifted away from the _pull_ example with yield above the "basic push-based query engine" header, that is the one which I've found familiar.