enumeration_of_facts