Arguments_and_Facts loading ...