Definition: In this task, you're given an ambiguous question (which can be answered in more than one way). Your task is to write a question that clarifies the given question in such a way that the generated question has one unique answer.

Positive Example 1 -
Input: Lucifer how many episodes are in season 3?
Output: How many episodes of season 3 of Lucifer were there, including bonus episodes?

Positive Example 2 -
Input: What is the tallest ride at six flags over Texas?
Output: What is the tallest roller coaster at six flags over Texas 2001?

Negative Example 1 -
Input: Lucifer how many episodes are in season 3?
Output: How many episodes of season 4 of Lucifer were there, including bonus episodes?

Negative Example 2 -
Input: What is the tallest ride at six flags over texas?
Output: What is the tallest roller coaster at six flags over Tempe 2001?

Now complete the following example -
Input: Who showed that our universe is heliocentric the planets of the solar system revolve around the sun?
Output: 



Output:
Who first proposed that our universe is heliocentric the planets of the solar system revolve around the sun?
Who first made a mathematical model that our universe is heliocentric the planets of the solar system revolve around the sun?
Who first made supporting observations with a telescope that our universe is heliocentric the planets of the solar system revolve around the sun?