Rule_according_to_higher_law loading ...