Input: Paul Cox needed to show it .
Output: NEG