add facts