A block can be left (exited) with the explicit leave block statement, or, if the block is not guarded, when a relevant response is found outside of the block. Once a block is exited, the responses in that block become inactive and cannot be executed again unless the block is re-entered. Action statements that follow that block will not be executed, since program control is now at a higher response level.