Fact_witness loading ...