Logic_and_rationality loading ...