Input: Make Chan 's action sequences boring .
Output: NEG