Rule_of_inference loading ...