• Formalize the core concepts and claims using mathematical notation and reasoning
• Identify underlying structures (e.g., graphs, sets, functions, probability spaces)
• Derive key relationships, proofs, or bounds where applicable
• Use LaTeX-style notation in fenced math blocks where appropriate