A System of Interaction and Structure II: The Need for Deep Inference (Logical Methods in Computer Science, 2006)