add fact