Create fact.lua