adding fact