[PPT] - MLL normalization and transitive closure: circuits, complexity, and PowerPoint Presentation