renamed add-fact to add-fact!