Text this: Block structure vs scope extrusion: between innocence and omniscience