Question:
Push down, informally
Answer:
Length:

5