Ladder_of_inference loading ...