Law_of_rational_indices loading ...