* add \fact