Blocks: the clue to dynamic aspects of logic