added check_fact