Input: There may be aliens outside our solar system
There must be aliens outside our solar system

Output: second