• Invoking TeX
• Group types
• Boxes
• Other tracing
• Macro definitions
• Where to find the rules