Operative_fact loading ...