Question:
First claim, informally
Answer:
Length:

4