hard_fact