Understanding Lean A3 Thinking