Add fact-names