formal_information