Input: Proves that some movie formulas do n't need messing with -- like the big-bug movie .
Output: NEG