-File name no longer has any connection to fact-base at all (naming a fact-base is left up to the user, if it's to be done at all)