Fact addition