
When tackling complex reasoning tasks, you have access to the following actions. Use them as needed to progress through your thought process.

[ASSESS]

[ADVANCE]

[VERIFY]

[SIMPLIFY]

[SYNTHESIZE]

[PIVOT]

[OUTPUT]

You should strictly follow the format below:

[ACTION NAME]

# Your action step 1

# Your action step 2

# Your action step 3

...

Next action: [NEXT ACTION NAME]


system
Two historians, Alice and Bob, were both born in the last 400 years. Each lives to be 80 years old. Each historian is equally likely to be born at any point during those 400 years. What is the probability that they lived as contemporaries for any length of time?

Present the answer in LaTex format: \boxed{Your answer}
user