Production Systems Need Negation as Failure