Delete fact.c