Delete facts.lua~