Delete fact.lua