add a new fact