Input: Of dat het geval is , zullen we nooit weten .
Output: 

 None