Perfect_digit-to-digit_invariant loading ...