Remove proof blocks.