enter_fact