Input: he gets a bad dream when he is asleep
he gets a bad dream when he is awake

Output: second