Outline_of_formal_science loading ...