@ceccec/millennium-solutions 9.8.8 → 9.8.9

package/dist/data/formulas.jsonld

@@ -11,7 +11,7 @@
  "@type": "ItemList",
  "name": "Formulas — every proposition this deposit decides",
  "description": "Each entry is the statement the Lean 4 kernel accepted, character for character, with its source, its wing and how it was proved.",
- "numberOfItems": 26189,
+ "numberOfItems": 26197,
  "itemListOrder": "https://schema.org/ItemListUnordered",
  "author": {
   "@type": "Person",
@@ -464195,6 +464195,158 @@
   {
    "@type": "ListItem",
    "position": 25733,
+   "item": {
+    "@type": "ScholarlyArticle",
+    "name": "superdense_coding_sends_two_classical_bits_through_one_qubit",
+    "description": "(List.range 4).all (fun m => (support (decode (encode m bell))).length == 1 && ((decode (encode m bell)).map Int.natAbs).foldl (· + ·) 0 == 2) ∧ ((List.range 4).map (fun m => support (decode (encode m bell)))).eraseDups.length = 4",
+    "identifier": "lean_quantumsoftware_superdense_coding_sends_two_classical_bits_through_one_qubit",
+    "receipt": "5b5cd483-8cf1-8278-9ff5-f92397af7792",
+    "url": "https://ceccec.psg.bg/millennium-solutions/theorem/lean_quantumsoftware_superdense_coding_sends_two_classical_bits_through_one_qubit",
+    "about": {
+     "@type": "DefinedTerm",
+     "name": "QuantumSoftware"
+    },
+    "wing": "the floor",
+    "source": "quantum_software.lean",
+    "proof": "by exhaustion"
+   }
+  },
+  {
+   "@type": "ListItem",
+   "position": 25734,
+   "item": {
+    "@type": "ScholarlyArticle",
+    "name": "without_the_shared_pair_one_qubit_carries_only_one_bit",
+    "description": "((List.range 4).map (fun m => sq (decode (encode m [1, 0, 0, 0])))).eraseDups.length = 2 ∧ ((List.range 4).map (fun m => sq (decode (encode m bell)))).eraseDups.length = 4",
+    "identifier": "lean_quantumsoftware_without_the_shared_pair_one_qubit_carries_only_one_bit",
+    "receipt": "b0d33f75-900f-8203-8b9d-aff74d56baae",
+    "url": "https://ceccec.psg.bg/millennium-solutions/theorem/lean_quantumsoftware_without_the_shared_pair_one_qubit_carries_only_one_bit",
+    "about": {
+     "@type": "DefinedTerm",
+     "name": "QuantumSoftware"
+    },
+    "wing": "the floor",
+    "source": "quantum_software.lean",
+    "proof": "by exhaustion"
+   }
+  },
+  {
+   "@type": "ListItem",
+   "position": 25735,
+   "item": {
+    "@type": "ScholarlyArticle",
+    "name": "the_bit_flip_code_corrects_every_single_bit_flip_on_every_state",
+    "description": "range5.all (fun a => range5.all (fun b => (List.range 4).all (fun e => bitFix (bitErr e (bitCode a b)) == bitCode a b)))",
+    "identifier": "lean_quantumsoftware_the_bit_flip_code_corrects_every_single_bit_flip_on_every_state",
+    "receipt": "5408dd41-1aff-84b1-8e76-8183459d8e3c",
+    "url": "https://ceccec.psg.bg/millennium-solutions/theorem/lean_quantumsoftware_the_bit_flip_code_corrects_every_single_bit_flip_on_every_state",
+    "about": {
+     "@type": "DefinedTerm",
+     "name": "QuantumSoftware"
+    },
+    "wing": "the floor",
+    "source": "quantum_software.lean",
+    "proof": "by exhaustion"
+   }
+  },
+  {
+   "@type": "ListItem",
+   "position": 25736,
+   "item": {
+    "@type": "ScholarlyArticle",
+    "name": "two_bit_flips_turn_the_correction_into_a_logical_error",
+    "description": "range5.all (fun a => range5.all (fun b => bitFix (X 0 (X 1 (bitCode a b))) == bitCode b a)) ∧ bitFix (X 0 (X 1 (bitCode 1 2))) != bitCode 1 2",
+    "identifier": "lean_quantumsoftware_two_bit_flips_turn_the_correction_into_a_logical_error",
+    "receipt": "bb414d4d-e502-823e-9db4-c2d7c64b9da7",
+    "url": "https://ceccec.psg.bg/millennium-solutions/theorem/lean_quantumsoftware_two_bit_flips_turn_the_correction_into_a_logical_error",
+    "about": {
+     "@type": "DefinedTerm",
+     "name": "QuantumSoftware"
+    },
+    "wing": "the floor",
+    "source": "quantum_software.lean",
+    "proof": "by exhaustion"
+   }
+  },
+  {
+   "@type": "ListItem",
+   "position": 25737,
+   "item": {
+    "@type": "ScholarlyArticle",
+    "name": "the_phase_flip_code_corrects_every_single_phase_flip_on_every_state",
+    "description": "range5.all (fun a => range5.all (fun b => (List.range 4).all (fun e => phaseFix (phaseErr e (phaseCode a b)) == phaseCode a b))) ∧ bitFix (Z 0 (bitCode 1 2)) != bitCode 1 2",
+    "identifier": "lean_quantumsoftware_the_phase_flip_code_corrects_every_single_phase_flip_on_every_state",
+    "receipt": "35bda5b6-d997-8005-bb7b-6a234603c46c",
+    "url": "https://ceccec.psg.bg/millennium-solutions/theorem/lean_quantumsoftware_the_phase_flip_code_corrects_every_single_phase_flip_on_every_state",
+    "about": {
+     "@type": "DefinedTerm",
+     "name": "QuantumSoftware"
+    },
+    "wing": "the floor",
+    "source": "quantum_software.lean",
+    "proof": "by exhaustion"
+   }
+  },
+  {
+   "@type": "ListItem",
+   "position": 25738,
+   "item": {
+    "@type": "ScholarlyArticle",
+    "name": "the_toffoli_gate_is_reversible_and_computes_and_which_no_affine_circuit_can",
+    "description": "(List.range 8).all (fun i => CCX 0 1 2 (CCX 0 1 2 (basis 8 i)) == basis 8 i) ∧ (List.range 2).all (fun a => (List.range 2).all (fun b => CCX 0 1 2 (basis 8 (a + 2 * b)) == basis 8 (a + 2 * b + 4 * (a * b)))) ∧ (List.range 8).all (fun c => !((List.range 2).all (fun a => (List.range 2).all (fun b => (bit c 0 + bit c 1 * a + bit c 2 * b) % 2 == a * b))))",
+    "identifier": "lean_quantumsoftware_the_toffoli_gate_is_reversible_and_computes_and_which_no_affine_circuit_can",
+    "receipt": "8441e7a6-e603-855f-be29-56908754dc2b",
+    "url": "https://ceccec.psg.bg/millennium-solutions/theorem/lean_quantumsoftware_the_toffoli_gate_is_reversible_and_computes_and_which_no_affine_circuit_can",
+    "about": {
+     "@type": "DefinedTerm",
+     "name": "QuantumSoftware"
+    },
+    "wing": "the floor",
+    "source": "quantum_software.lean",
+    "proof": "by exhaustion"
+   }
+  },
+  {
+   "@type": "ListItem",
+   "position": 25739,
+   "item": {
+    "@type": "ScholarlyArticle",
+    "name": "the_swap_test_reads_the_squared_overlap_on_every_pair_in_range",
+    "description": "range5.all (fun p0 => range5.all (fun p1 => range5.all (fun f0 => range5.all (fun f1 => let n := (p0 * p0 + p1 * p1) * (f0 * f0 + f1 * f1) let o := p0 * f0 + p1 * f1 weight (swapTest (pair p0 p1 f0 f1)) 0 == 2 * (n + o * o) && weight (swapTest (pair p0 p1 f0 f1)) 1 == 2 * (n - o * o))))) ∧ weight (swapTest (pair 1 2 1 2)) 1 = 0 ∧ weight (swapTest (pair 1 0 0 1)) 0 = weight (swapTest (pair 1 0 0 1)) 1",
+    "identifier": "lean_quantumsoftware_the_swap_test_reads_the_squared_overlap_on_every_pair_in_range",
+    "receipt": "a90cec74-3501-89e4-be9a-40ceb5b2892b",
+    "url": "https://ceccec.psg.bg/millennium-solutions/theorem/lean_quantumsoftware_the_swap_test_reads_the_squared_overlap_on_every_pair_in_range",
+    "about": {
+     "@type": "DefinedTerm",
+     "name": "QuantumSoftware"
+    },
+    "wing": "the floor",
+    "source": "quantum_software.lean",
+    "proof": "by exhaustion"
+   }
+  },
+  {
+   "@type": "ListItem",
+   "position": 25740,
+   "item": {
+    "@type": "ScholarlyArticle",
+    "name": "a_compilers_cnot_and_swap_rewrites_are_exact_and_dropping_a_gate_breaks_them",
+    "description": "(List.range 4).all (fun i => H 1 (CZ 0 1 (H 1 (basis 4 i))) == scale 2 (CX 0 1 (basis 4 i))) ∧ (List.range 4).all (fun i => CX 0 1 (CX 1 0 (CX 0 1 (basis 4 i))) == basis 4 (swapIdx i 0 1)) ∧ (List.range 4).any (fun i => CZ 0 1 (H 1 (basis 4 i)) != scale 2 (CX 0 1 (basis 4 i)))",
+    "identifier": "lean_quantumsoftware_a_compilers_cnot_and_swap_rewrites_are_exact_and_dropping_a_gate_breaks_them",
+    "receipt": "a37c2279-2a5a-8e11-a804-4aced1f12fb5",
+    "url": "https://ceccec.psg.bg/millennium-solutions/theorem/lean_quantumsoftware_a_compilers_cnot_and_swap_rewrites_are_exact_and_dropping_a_gate_breaks_them",
+    "about": {
+     "@type": "DefinedTerm",
+     "name": "QuantumSoftware"
+    },
+    "wing": "the floor",
+    "source": "quantum_software.lean",
+    "proof": "by exhaustion"
+   }
+  },
+  {
+   "@type": "ListItem",
+   "position": 25741,
    "item": {
     "@type": "ScholarlyArticle",
     "name": "tsirelsons_eight_is_the_square_of_the_circuits_s",
@@ -464213,7 +464365,7 @@
   },
   {
    "@type": "ListItem",
-   "position": 25734,
+   "position": 25742,
    "item": {
     "@type": "ScholarlyArticle",
     "name": "the_group_generated_by_h_and_s_has_exactly_twenty_four_classes",
@@ -464232,7 +464384,7 @@
   },
   {
    "@type": "ListItem",
-   "position": 25735,
+   "position": 25743,
    "item": {
     "@type": "ScholarlyArticle",
     "name": "t_has_order_exactly_eight_and_does_not_commute_with_h",
@@ -464251,7 +464403,7 @@
   },
   {
    "@type": "ListItem",
-   "position": 25736,
+   "position": 25744,
    "item": {
     "@type": "ScholarlyArticle",
     "name": "simons_measured_strings_for_period_eleven_are_exactly_two_of_four",
@@ -464270,7 +464422,7 @@
   },
   {
    "@type": "ListItem",
-   "position": 25737,
+   "position": 25745,
    "item": {
     "@type": "ScholarlyArticle",
     "name": "one_query_recovers_every_three_bit_hidden_string",
@@ -464289,7 +464441,7 @@
   },
   {
    "@type": "ListItem",
-   "position": 25738,
+   "position": 25746,
    "item": {
     "@type": "ScholarlyArticle",
     "name": "one_query_separates_every_balanced_from_every_constant_function",
@@ -464308,7 +464460,7 @@
   },
   {
    "@type": "ListItem",
-   "position": 25739,
+   "position": 25747,
    "item": {
     "@type": "ScholarlyArticle",
     "name": "one_grover_iteration_finds_every_marked_item_of_four_with_certainty",
@@ -464327,7 +464479,7 @@
   },
   {
    "@type": "ListItem",
-   "position": 25740,
+   "position": 25748,
    "item": {
     "@type": "ScholarlyArticle",
     "name": "linearity_forbids_perfect_cloning_and_the_optimal_copy_has_fidelity_five_sixths",
@@ -464346,7 +464498,7 @@
   },
   {
    "@type": "ListItem",
-   "position": 25741,
+   "position": 25749,
    "item": {
     "@type": "ScholarlyArticle",
     "name": "the_124_qubit_ghz_state_leads_every_classical_assignment_by_two_to_the_sixty_first",
@@ -464365,7 +464517,7 @@
   },
   {
    "@type": "ListItem",
-   "position": 25742,
+   "position": 25750,
    "item": {
     "@type": "ScholarlyArticle",
     "name": "at_odd_widths_the_classical_phase_stands_on_odd_eighths_and_the_bound_is_two_to_the_half_of_n_minus_one",
@@ -464384,7 +464536,7 @@
   },
   {
    "@type": "ListItem",
-   "position": 25743,
+   "position": 25751,
    "item": {
     "@type": "ScholarlyArticle",
     "name": "every_generator_of_the_124_qubit_cluster_is_z_x_z_on_its_neighbours",
@@ -464403,7 +464555,7 @@
   },
   {
    "@type": "ListItem",
-   "position": 25744,
+   "position": 25752,
    "item": {
     "@type": "ScholarlyArticle",
     "name": "generators_zero_to_sixty_one_have_exactly_the_z_x_z_bit_pattern",
@@ -464422,7 +464574,7 @@
   },
   {
    "@type": "ListItem",
-   "position": 25745,
+   "position": 25753,
    "item": {
     "@type": "ScholarlyArticle",
     "name": "generators_sixty_two_to_one_twenty_three_have_exactly_the_z_x_z_bit_pattern",
@@ -464441,7 +464593,7 @@
   },
   {
    "@type": "ListItem",
-   "position": 25746,
+   "position": 25754,
    "item": {
     "@type": "ScholarlyArticle",
     "name": "generators_zero_to_sixty_one_commute_with_all_124",
@@ -464460,7 +464612,7 @@
   },
   {
    "@type": "ListItem",
-   "position": 25747,
+   "position": 25755,
    "item": {
     "@type": "ScholarlyArticle",
     "name": "generators_sixty_two_to_one_twenty_three_commute_with_all_124",
@@ -464479,7 +464631,7 @@
   },
   {
    "@type": "ListItem",
-   "position": 25748,
+   "position": 25756,
    "item": {
     "@type": "ScholarlyArticle",
     "name": "without_the_chain_or_with_a_ring_the_linear_cluster_form_fails",
@@ -464498,7 +464650,7 @@
   },
   {
    "@type": "ListItem",
-   "position": 25749,
+   "position": 25757,
    "item": {
     "@type": "ScholarlyArticle",
     "name": "turning_a_signal_on_never_lowers_the_score",
@@ -464517,7 +464669,7 @@
   },
   {
    "@type": "ListItem",
-   "position": 25750,
+   "position": 25758,
    "item": {
     "@type": "ScholarlyArticle",
     "name": "every_signal_strictly_raises_the_score",
@@ -464536,7 +464688,7 @@
   },
   {
    "@type": "ListItem",
-   "position": 25751,
+   "position": 25759,
    "item": {
     "@type": "ScholarlyArticle",
     "name": "the_score_runs_from_zero_to_eleven",
@@ -464555,7 +464707,7 @@
   },
   {
    "@type": "ListItem",
-   "position": 25752,
+   "position": 25760,
    "item": {
     "@type": "ScholarlyArticle",
     "name": "the_ranking_holds_nine_distinguishable_states_as_one",
@@ -464574,7 +464726,7 @@
   },
   {
    "@type": "ListItem",
-   "position": 25753,
+   "position": 25761,
    "item": {
     "@type": "ScholarlyArticle",
     "name": "only_the_top_and_the_bottom_identify_their_evidence",
@@ -464593,7 +464745,7 @@
   },
   {
    "@type": "ListItem",
-   "position": 25754,
+   "position": 25762,
    "item": {
     "@type": "ScholarlyArticle",
     "name": "distinct_powers_would_separate_every_state",
@@ -464612,7 +464764,7 @@
   },
   {
    "@type": "ListItem",
-   "position": 25755,
+   "position": 25763,
    "item": {
     "@type": "ScholarlyArticle",
     "name": "the_two_heaviest_signals_outweigh_all_the_others",
@@ -464631,7 +464783,7 @@
   },
   {
    "@type": "ListItem",
-   "position": 25756,
+   "position": 25764,
    "item": {
     "@type": "ScholarlyArticle",
     "name": "a_high_score_orders_attention_and_settles_nothing",
@@ -464650,7 +464802,7 @@
   },
   {
    "@type": "ListItem",
-   "position": 25757,
+   "position": 25765,
    "item": {
     "@type": "ScholarlyArticle",
     "name": "the_orbit_is_the_six_units",
@@ -464669,7 +464821,7 @@
   },
   {
    "@type": "ListItem",
-   "position": 25758,
+   "position": 25766,
    "item": {
     "@type": "ScholarlyArticle",
     "name": "the_order_visits_every_ray_exactly_once",
@@ -464688,7 +464840,7 @@
   },
   {
    "@type": "ListItem",
-   "position": 25759,
+   "position": 25767,
    "item": {
     "@type": "ScholarlyArticle",
     "name": "the_reversed_order_is_also_a_permutation",
@@ -464707,7 +464859,7 @@
   },
   {
    "@type": "ListItem",
-   "position": 25760,
+   "position": 25768,
    "item": {
     "@type": "ScholarlyArticle",
     "name": "the_two_senses_are_not_the_same_walk",
@@ -464726,7 +464878,7 @@
   },
   {
    "@type": "ListItem",
-   "position": 25761,
+   "position": 25769,
    "item": {
     "@type": "ScholarlyArticle",
     "name": "reversing_the_sense_twice_is_the_identity",
@@ -464745,7 +464897,7 @@
   },
   {
    "@type": "ListItem",
-   "position": 25762,
+   "position": 25770,
    "item": {
     "@type": "ScholarlyArticle",
     "name": "inverting_twice_is_the_identity",
@@ -464764,7 +464916,7 @@
   },
   {
    "@type": "ListItem",
-   "position": 25763,
+   "position": 25771,
    "item": {
     "@type": "ScholarlyArticle",
     "name": "a_trace_and_its_inversion_agree_nowhere",
@@ -464783,7 +464935,7 @@
   },
   {
    "@type": "ListItem",
-   "position": 25764,
+   "position": 25772,
    "item": {
     "@type": "ScholarlyArticle",
     "name": "the_low_bit_sees_what_the_residue_cannot",
@@ -464802,7 +464954,7 @@
   },
   {
    "@type": "ListItem",
-   "position": 25765,
+   "position": 25773,
    "item": {
     "@type": "ScholarlyArticle",
     "name": "the_two_by_seven_reads_more_than_the_seven",
@@ -464821,7 +464973,7 @@
   },
   {
    "@type": "ListItem",
-   "position": 25766,
+   "position": 25774,
    "item": {
     "@type": "ScholarlyArticle",
     "name": "four_digits_stay_unread_and_are_counted",
@@ -464840,7 +464992,7 @@
   },
   {
    "@type": "ListItem",
-   "position": 25767,
+   "position": 25775,
    "item": {
     "@type": "ScholarlyArticle",
     "name": "the_wrap_is_what_makes_it_a_torus",
@@ -464859,7 +465011,7 @@
   },
   {
    "@type": "ListItem",
-   "position": 25768,
+   "position": 25776,
    "item": {
     "@type": "ScholarlyArticle",
     "name": "the_distance_is_symmetric_and_zero_only_on_itself",
@@ -464878,7 +465030,7 @@
   },
   {
    "@type": "ListItem",
-   "position": 25769,
+   "position": 25777,
    "item": {
     "@type": "ScholarlyArticle",
     "name": "the_triangle_inequality_holds_on_every_triple",
@@ -464897,7 +465049,7 @@
   },
   {
    "@type": "ListItem",
-   "position": 25770,
+   "position": 25778,
    "item": {
     "@type": "ScholarlyArticle",
     "name": "exhaustion_never_reaches_its_own_bound",
@@ -464916,7 +465068,7 @@
   },
   {
    "@type": "ListItem",
-   "position": 25771,
+   "position": 25779,
    "item": {
     "@type": "ScholarlyArticle",
     "name": "the_successor_of_every_bound_lies_outside",
@@ -464935,7 +465087,7 @@
   },
   {
    "@type": "ListItem",
-   "position": 25772,
+   "position": 25780,
    "item": {
     "@type": "ScholarlyArticle",
     "name": "doubling_the_domain_leaves_the_same_hole",
@@ -464954,7 +465106,7 @@
   },
   {
    "@type": "ListItem",
-   "position": 25773,
+   "position": 25781,
    "item": {
     "@type": "ScholarlyArticle",
     "name": "the_successor_leaves_every_domain_and_the_predecessor_returns",
@@ -464973,7 +465125,7 @@
   },
   {
    "@type": "ListItem",
-   "position": 25774,
+   "position": 25782,
    "item": {
     "@type": "ScholarlyArticle",
     "name": "the_predecessor_returns_every_successor",
@@ -464992,7 +465144,7 @@
   },
   {
    "@type": "ListItem",
-   "position": 25775,
+   "position": 25783,
    "item": {
     "@type": "ScholarlyArticle",
     "name": "exhaustion_never_reaches_its_own_bound_for_every_n",
@@ -465011,7 +465163,7 @@
   },
   {
    "@type": "ListItem",
-   "position": 25776,
+   "position": 25784,
    "item": {
     "@type": "ScholarlyArticle",
     "name": "the_successor_of_every_bound_lies_outside_for_every_n",
@@ -465030,7 +465182,7 @@
   },
   {
    "@type": "ListItem",
-   "position": 25777,
+   "position": 25785,
    "item": {
     "@type": "ScholarlyArticle",
     "name": "doubling_the_domain_leaves_the_same_hole_for_every_n",
@@ -465049,7 +465201,7 @@
   },
   {
    "@type": "ListItem",
-   "position": 25778,
+   "position": 25786,
    "item": {
     "@type": "ScholarlyArticle",
     "name": "the_successor_returns_every_positive_predecessor",
@@ -465068,7 +465220,7 @@
   },
   {
    "@type": "ListItem",
-   "position": 25779,
+   "position": 25787,
    "item": {
     "@type": "ScholarlyArticle",
     "name": "exhaustion_reaches_everything_below_its_bound_for_every_n",
@@ -465087,7 +465239,7 @@
   },
   {
    "@type": "ListItem",
-   "position": 25780,
+   "position": 25788,
    "item": {
     "@type": "ScholarlyArticle",
     "name": "the_predecessor_of_every_positive_bound_lies_inside",
@@ -465106,7 +465258,7 @@
   },
   {
    "@type": "ListItem",
-   "position": 25781,
+   "position": 25789,
    "item": {
     "@type": "ScholarlyArticle",
     "name": "halving_the_domain_keeps_the_half_inside_for_every_n",
@@ -465125,7 +465277,7 @@
   },
   {
    "@type": "ListItem",
-   "position": 25782,
+   "position": 25790,
    "item": {
     "@type": "ScholarlyArticle",
     "name": "every_residue_has_an_additive_inverse",
@@ -465144,7 +465296,7 @@
   },
   {
    "@type": "ListItem",
-   "position": 25783,
+   "position": 25791,
    "item": {
     "@type": "ScholarlyArticle",
     "name": "negation_is_an_involution_with_zero_its_own_inverse",
@@ -465163,7 +465315,7 @@
   },
   {
    "@type": "ListItem",
-   "position": 25784,
+   "position": 25792,
    "item": {
     "@type": "ScholarlyArticle",
     "name": "the_mod_three_classes_partition_the_ring_into_three_threes",
@@ -465182,7 +465334,7 @@
   },
   {
    "@type": "ListItem",
-   "position": 25785,
+   "position": 25793,
    "item": {
     "@type": "ScholarlyArticle",
     "name": "the_two_tetrahedra_meet_the_cube_at_its_own_counts",
@@ -465201,7 +465353,7 @@
   },
   {
    "@type": "ListItem",
-   "position": 25786,
+   "position": 25794,
    "item": {
     "@type": "ScholarlyArticle",
     "name": "the_triad_lands_on_three_hues_a_third_of_the_circle_apart",
@@ -465220,7 +465372,7 @@
   },
   {
    "@type": "ListItem",
-   "position": 25787,
+   "position": 25795,
    "item": {
     "@type": "ScholarlyArticle",
     "name": "the_nine_hues_are_distinct_and_evenly_spaced",
@@ -465239,7 +465391,7 @@
   },
   {
    "@type": "ListItem",
-   "position": 25788,
+   "position": 25796,
    "item": {
     "@type": "ScholarlyArticle",
     "name": "the_units_are_closed_have_an_identity_and_every_one_has_an_inverse",
@@ -465258,7 +465410,7 @@
   },
   {
    "@type": "ListItem",
-   "position": 25789,
+   "position": 25797,
    "item": {
     "@type": "ScholarlyArticle",
     "name": "zero_has_no_multiplicative_inverse",
@@ -465277,7 +465429,7 @@
   },
   {
    "@type": "ListItem",
-   "position": 25790,
+   "position": 25798,
    "item": {
     "@type": "ScholarlyArticle",
     "name": "the_board_is_sixty_four_evenly_split_and_every_knight_leap_flips_the_colour",
@@ -465296,7 +465448,7 @@
   },
   {
    "@type": "ListItem",
-   "position": 25791,
+   "position": 25799,
    "item": {
     "@type": "ScholarlyArticle",
     "name": "the_mover_loses_exactly_at_the_multiples_of_four",
@@ -465315,7 +465467,7 @@
   },
   {
    "@type": "ListItem",
-   "position": 25792,
+   "position": 25800,
    "item": {
     "@type": "ScholarlyArticle",
     "name": "twelve_fifths_overshoot_seven_octaves_and_by_how_much",
@@ -465334,7 +465486,7 @@
   },
   {
    "@type": "ListItem",
-   "position": 25793,
+   "position": 25801,
    "item": {
     "@type": "ScholarlyArticle",
     "name": "no_hue_on_an_odd_wheel_has_an_exact_complement",
@@ -465353,7 +465505,7 @@
   },
   {
    "@type": "ListItem",
-   "position": 25794,
+   "position": 25802,
    "item": {
     "@type": "ScholarlyArticle",
     "name": "the_inverse_map_applied_twice_is_the_identity_on_the_units",
@@ -465372,7 +465524,7 @@
   },
   {
    "@type": "ListItem",
-   "position": 25795,
+   "position": 25803,
    "item": {
     "@type": "ScholarlyArticle",
     "name": "the_field_of_order_four_has_four_elements",
@@ -465391,7 +465543,7 @@
   },
   {
    "@type": "ListItem",
-   "position": 25796,
+   "position": 25804,
    "item": {
     "@type": "ScholarlyArticle",
     "name": "the_euclid_form_gives_the_first_three_perfect_numbers",
@@ -465410,7 +465562,7 @@
   },
   {
    "@type": "ListItem",
-   "position": 25797,
+   "position": 25805,
    "item": {
     "@type": "ScholarlyArticle",
     "name": "every_odd_prime_to_fifty_is_a_sum_of_two_squares_exactly_when_it_is_one_mod_four",
@@ -465429,7 +465581,7 @@
   },
   {
    "@type": "ListItem",
-   "position": 25798,
+   "position": 25806,
    "item": {
     "@type": "ScholarlyArticle",
     "name": "pascal_is_odd_exactly_where_the_index_is_a_submask",
@@ -465448,7 +465600,7 @@
   },
   {
    "@type": "ListItem",
-   "position": 25799,
+   "position": 25807,
    "item": {
     "@type": "ScholarlyArticle",
     "name": "the_live_cells_of_row_n_number_two_to_the_popcount",
@@ -465467,7 +465619,7 @@
   },
   {
    "@type": "ListItem",
-   "position": 25800,
+   "position": 25808,
    "item": {
     "@type": "ScholarlyArticle",
     "name": "every_graph_on_four_vertices_sums_its_degrees_to_twice_its_edges",
@@ -465486,7 +465638,7 @@
   },
   {
    "@type": "ListItem",
-   "position": 25801,
+   "position": 25809,
    "item": {
     "@type": "ScholarlyArticle",
     "name": "the_grundy_value_of_the_subtraction_game_is_the_remainder_mod_four",
@@ -465505,7 +465657,7 @@
   },
   {
    "@type": "ListItem",
-   "position": 25802,
+   "position": 25810,
    "item": {
     "@type": "ScholarlyArticle",
     "name": "the_beat_relation_is_the_successor_in_the_trinity",
@@ -465524,7 +465676,7 @@
   },
   {
    "@type": "ListItem",
-   "position": 25803,
+   "position": 25811,
    "item": {
     "@type": "ScholarlyArticle",
     "name": "a_digit_and_its_balance_close_both_the_ring_and_the_circle",
@@ -465543,7 +465695,7 @@
   },
   {
    "@type": "ListItem",
-   "position": 25804,
+   "position": 25812,
    "item": {
     "@type": "ScholarlyArticle",
     "name": "every_map_from_more_pigeons_than_holes_repeats",
@@ -465562,7 +465714,7 @@
   },
   {
    "@type": "ListItem",
-   "position": 25805,
+   "position": 25813,
    "item": {
     "@type": "ScholarlyArticle",
     "name": "the_partition_numbers_to_eight_are_the_ones_the_ledger_stated",
@@ -465581,7 +465733,7 @@
   },
   {
    "@type": "ListItem",
-   "position": 25806,
+   "position": 25814,
    "item": {
     "@type": "ScholarlyArticle",
     "name": "the_doubling_orbit_is_the_unit_group_and_two_generates_it",
@@ -465600,7 +465752,7 @@
   },
   {
    "@type": "ListItem",
-   "position": 25807,
+   "position": 25815,
    "item": {
     "@type": "ScholarlyArticle",
     "name": "the_digit_sum_collapse_and_the_residue_are_the_same_map",
@@ -465619,7 +465771,7 @@
   },
   {
    "@type": "ListItem",
-   "position": 25808,
+   "position": 25816,
    "item": {
     "@type": "ScholarlyArticle",
     "name": "the_step_is_the_circle_divided_by_the_base_and_nine_steps_close_it",
@@ -465638,7 +465790,7 @@
   },
   {
    "@type": "ListItem",
-   "position": 25809,
+   "position": 25817,
    "item": {
     "@type": "ScholarlyArticle",
     "name": "the_units_are_exactly_the_residues_coprime_to_the_base",
@@ -465657,7 +465809,7 @@
   },
   {
    "@type": "ListItem",
-   "position": 25810,
+   "position": 25818,
    "item": {
     "@type": "ScholarlyArticle",
     "name": "the_triad_is_the_multiples_of_three_and_the_nilpotents",
@@ -465676,7 +465828,7 @@
   },
   {
    "@type": "ListItem",
-   "position": 25811,
+   "position": 25819,
    "item": {
     "@type": "ScholarlyArticle",
     "name": "the_unit_group_sums_to_zero_and_its_product_is_the_reflection_of_one",
@@ -465695,7 +465847,7 @@
   },
   {
    "@type": "ListItem",
-   "position": 25812,
+   "position": 25820,
    "item": {
     "@type": "ScholarlyArticle",
     "name": "the_step_base_factors_as_two_to_the_fourth_times_three_cubed",
@@ -465714,7 +465866,7 @@
   },
   {
    "@type": "ListItem",
-   "position": 25813,
+   "position": 25821,
    "item": {
     "@type": "ScholarlyArticle",
     "name": "the_tens_complement_fixes_exactly_the_centre",
@@ -465733,7 +465885,7 @@
   },
   {
    "@type": "ListItem",
-   "position": 25814,
+   "position": 25822,
    "item": {
     "@type": "ScholarlyArticle",
     "name": "the_balancing_complement_permutes_the_units",
@@ -465752,7 +465904,7 @@
   },
   {
    "@type": "ListItem",
-   "position": 25815,
+   "position": 25823,
    "item": {
     "@type": "ScholarlyArticle",
     "name": "every_cube_mod_nine_is_zero_one_or_eight",
@@ -465771,7 +465923,7 @@
   },
   {
    "@type": "ListItem",
-   "position": 25816,
+   "position": 25824,
    "item": {
     "@type": "ScholarlyArticle",
     "name": "doubling_is_multiplication_by_two_and_the_reduction_commutes",
@@ -465790,7 +465942,7 @@
   },
   {
    "@type": "ListItem",
-   "position": 25817,
+   "position": 25825,
    "item": {
     "@type": "ScholarlyArticle",
     "name": "the_primitive_roots_are_exactly_two_and_five",
@@ -465809,7 +465961,7 @@
   },
   {
    "@type": "ListItem",
-   "position": 25818,
+   "position": 25826,
    "item": {
     "@type": "ScholarlyArticle",
     "name": "every_unit_is_a_power_of_two_for_exactly_one_exponent",
@@ -465828,7 +465980,7 @@
   },
   {
    "@type": "ListItem",
-   "position": 25819,
+   "position": 25827,
    "item": {
     "@type": "ScholarlyArticle",
     "name": "the_index_carries_multiplication_to_addition_mod_six",
@@ -465847,7 +465999,7 @@
   },
   {
    "@type": "ListItem",
-   "position": 25820,
+   "position": 25828,
    "item": {
     "@type": "ScholarlyArticle",
     "name": "no_even_position_ever_survives",
@@ -465866,7 +466018,7 @@
   },
   {
    "@type": "ListItem",
-   "position": 25821,
+   "position": 25829,
    "item": {
     "@type": "ScholarlyArticle",
     "name": "in_a_magic_square_the_centre_is_five_and_the_corners_are_even",
@@ -465885,7 +466037,7 @@
   },
   {
    "@type": "ListItem",
-   "position": 25822,
+   "position": 25830,
    "item": {
     "@type": "ScholarlyArticle",
     "name": "the_pisano_period_mod_nine_is_twenty_four_and_four_times_the_doubling_order",
@@ -465904,7 +466056,7 @@
   },
   {
    "@type": "ListItem",
-   "position": 25823,
+   "position": 25831,
    "item": {
     "@type": "ScholarlyArticle",
     "name": "each_stern_row_sums_to_a_power_of_three",
@@ -465923,7 +466075,7 @@
   },
   {
    "@type": "ListItem",
-   "position": 25824,
+   "position": 25832,
    "item": {
     "@type": "ScholarlyArticle",
     "name": "a_euclid_triple_is_primitive_exactly_when_its_seeds_are_coprime_and_opposite",
@@ -465942,7 +466094,7 @@
   },
   {
    "@type": "ListItem",
-   "position": 25825,
+   "position": 25833,
    "item": {
     "@type": "ScholarlyArticle",
     "name": "the_product_of_two_sums_of_squares_is_a_sum_of_squares",
@@ -465961,7 +466113,7 @@
   },
   {
    "@type": "ListItem",
-   "position": 25826,
+   "position": 25834,
    "item": {
     "@type": "ScholarlyArticle",
     "name": "minus_one_is_a_square_mod_p_exactly_when_p_is_one_mod_four",
@@ -465980,7 +466132,7 @@
   },
   {
    "@type": "ListItem",
-   "position": 25827,
+   "position": 25835,
    "item": {
     "@type": "ScholarlyArticle",
     "name": "two_is_a_square_mod_p_exactly_when_p_is_one_or_seven_mod_eight",
@@ -465999,7 +466151,7 @@
   },
   {
    "@type": "ListItem",
-   "position": 25828,
+   "position": 25836,
    "item": {
     "@type": "ScholarlyArticle",
     "name": "reciprocity_holds_for_every_pair_of_odd_primes_below_thirty",
@@ -466018,7 +466170,7 @@
   },
   {
    "@type": "ListItem",
-   "position": 25829,
+   "position": 25837,
    "item": {
     "@type": "ScholarlyArticle",
     "name": "the_nine_point_wheel_the_dashboard_draws_closes_the_circle",
@@ -466037,7 +466189,7 @@
   },
   {
    "@type": "ListItem",
-   "position": 25830,
+   "position": 25838,
    "item": {
     "@type": "ScholarlyArticle",
     "name": "the_units_plus_one_distinguished_element_number_seven",
@@ -466056,7 +466208,7 @@
   },
   {
    "@type": "ListItem",
-   "position": 25831,
+   "position": 25839,
    "item": {
     "@type": "ScholarlyArticle",
     "name": "the_digital_root_carries_both_sum_and_product",
@@ -466075,7 +466227,7 @@
   },
   {
    "@type": "ListItem",
-   "position": 25832,
+   "position": 25840,
    "item": {
     "@type": "ScholarlyArticle",
     "name": "the_six_units_fall_into_three_pairs_that_sum_to_nine",
@@ -466094,7 +466246,7 @@
   },
   {
    "@type": "ListItem",
-   "position": 25833,
+   "position": 25841,
    "item": {
     "@type": "ScholarlyArticle",
     "name": "three_generates_the_units_mod_seven_and_they_number_six",
@@ -466113,7 +466265,7 @@
   },
   {
    "@type": "ListItem",
-   "position": 25834,
+   "position": 25842,
    "item": {
     "@type": "ScholarlyArticle",
     "name": "the_two_unit_groups_are_cyclic_of_order_six_and_correspond_by_index",
@@ -466132,7 +466284,7 @@
   },
   {
    "@type": "ListItem",
-   "position": 25835,
+   "position": 25843,
    "item": {
     "@type": "ScholarlyArticle",
     "name": "the_nines_check_fires_exactly_when_the_error_is_not_a_multiple_of_nine",
@@ -466151,7 +466303,7 @@
   },
   {
    "@type": "ListItem",
-   "position": 25836,
+   "position": 25844,
    "item": {
     "@type": "ScholarlyArticle",
     "name": "the_nines_check_cannot_see_a_transposition_and_the_elevens_check_can",
@@ -466170,7 +466322,7 @@
   },
   {
    "@type": "ListItem",
-   "position": 25837,
+   "position": 25845,
    "item": {
     "@type": "ScholarlyArticle",
     "name": "five_is_the_reflection_fixed_point_and_the_inverse_of_two",
@@ -466189,7 +466341,7 @@
   },
   {
    "@type": "ListItem",
-   "position": 25838,
+   "position": 25846,
    "item": {
     "@type": "ScholarlyArticle",
     "name": "the_nonzero_residues_vanish_exactly_for_an_odd_modulus",
@@ -466208,7 +466360,7 @@
   },
   {
    "@type": "ListItem",
-   "position": 25839,
+   "position": 25847,
    "item": {
     "@type": "ScholarlyArticle",
     "name": "the_unit_multiplication_table_is_a_latin_square",
@@ -466227,7 +466379,7 @@
   },
   {
    "@type": "ListItem",
-   "position": 25840,
+   "position": 25848,
    "item": {
     "@type": "ScholarlyArticle",
     "name": "the_additive_generators_are_exactly_the_multiplicative_units",
@@ -466246,7 +466398,7 @@
   },
   {
    "@type": "ListItem",
-   "position": 25841,
+   "position": 25849,
    "item": {
     "@type": "ScholarlyArticle",
     "name": "the_axis_is_closed_under_addition_and_under_multiplication_by_the_ring",
@@ -466265,7 +466417,7 @@
   },
   {
    "@type": "ListItem",
-   "position": 25842,
+   "position": 25850,
    "item": {
     "@type": "ScholarlyArticle",
     "name": "the_ring_of_residues_is_a_field_exactly_at_a_prime_modulus",
@@ -466284,7 +466436,7 @@
   },
   {
    "@type": "ListItem",
-   "position": 25843,
+   "position": 25851,
    "item": {
     "@type": "ScholarlyArticle",
     "name": "squaring_maps_the_six_units_onto_a_closed_set_of_three",
@@ -466303,7 +466455,7 @@
   },
   {
    "@type": "ListItem",
-   "position": 25844,
+   "position": 25852,
    "item": {
     "@type": "ScholarlyArticle",
     "name": "five_six_one_is_composite_and_fools_fermat_for_every_base",
@@ -466322,7 +466474,7 @@
   },
   {
    "@type": "ListItem",
-   "position": 25845,
+   "position": 25853,
    "item": {
     "@type": "ScholarlyArticle",
     "name": "cassinis_identity_alternates_by_one_either_side_of_the_square",
@@ -466341,7 +466493,7 @@
   },
   {
    "@type": "ListItem",
-   "position": 25846,
+   "position": 25854,
    "item": {
     "@type": "ScholarlyArticle",
     "name": "each_binomial_row_sums_to_a_power_of_two_and_splits_evenly",
@@ -466360,7 +466512,7 @@
   },
   {
    "@type": "ListItem",
-   "position": 25847,
+   "position": 25855,
    "item": {
     "@type": "ScholarlyArticle",
     "name": "a_to_the_p_returns_a_modulo_every_prime_in_range",
@@ -466379,7 +466531,7 @@
   },
   {
    "@type": "ListItem",
-   "position": 25848,
+   "position": 25856,
    "item": {
     "@type": "ScholarlyArticle",
     "name": "every_start_below_a_thousand_reaches_one_within_two_hundred_steps",
@@ -466398,7 +466550,7 @@
   },
   {
    "@type": "ListItem",
-   "position": 25849,
+   "position": 25857,
    "item": {
     "@type": "ScholarlyArticle",
     "name": "the_number_of_divisors_is_odd_exactly_for_a_perfect_square",
@@ -466417,7 +466569,7 @@
   },
   {
    "@type": "ListItem",
-   "position": 25850,
+   "position": 25858,
    "item": {
     "@type": "ScholarlyArticle",
     "name": "euclids_formula_always_produces_a_right_triangle",
@@ -466436,7 +466588,7 @@
   },
   {
    "@type": "ListItem",
-   "position": 25851,
+   "position": 25859,
    "item": {
     "@type": "ScholarlyArticle",
     "name": "reduction_to_coprime_moduli_is_a_bijection_over_one_period",
@@ -466455,7 +466607,7 @@
   },
   {
    "@type": "ListItem",
-   "position": 25852,
+   "position": 25860,
    "item": {
     "@type": "ScholarlyArticle",
     "name": "the_derangements_follow_the_subfactorial_recurrence",
@@ -466474,7 +466626,7 @@
   },
   {
    "@type": "ListItem",
-   "position": 25853,
+   "position": 25861,
    "item": {
     "@type": "ScholarlyArticle",
     "name": "the_lucas_square_sits_four_either_side_of_five_fibonacci_squares",
@@ -466493,7 +466645,7 @@
   },
   {
    "@type": "ListItem",
-   "position": 25854,
+   "position": 25862,
    "item": {
     "@type": "ScholarlyArticle",
     "name": "the_digit_sum_agrees_with_the_value_modulo_three_and_modulo_nine",
@@ -466512,7 +466664,7 @@
   },
   {
    "@type": "ListItem",
-   "position": 25855,
+   "position": 25863,
    "item": {
     "@type": "ScholarlyArticle",
     "name": "the_partitions_obey_eulers_pentagonal_recurrence",
@@ -466531,7 +466683,7 @@
   },
   {
    "@type": "ListItem",
-   "position": 25856,
+   "position": 25864,
    "item": {
     "@type": "ScholarlyArticle",
     "name": "the_derangements_are_n_times_the_previous_with_one_alternating_correction",
@@ -466550,7 +466702,7 @@
   },
   {
    "@type": "ListItem",
-   "position": 25857,
+   "position": 25865,
    "item": {
     "@type": "ScholarlyArticle",
     "name": "the_first_n_fibonacci_numbers_sum_to_the_term_two_further_on_less_one",
@@ -466569,7 +466721,7 @@
   },
   {
    "@type": "ListItem",
-   "position": 25858,
+   "position": 25866,
    "item": {
     "@type": "ScholarlyArticle",
     "name": "the_first_n_naturals_squares_and_cubes_have_their_closed_forms",
@@ -466588,7 +466740,7 @@
   },
   {
    "@type": "ListItem",
-   "position": 25859,
+   "position": 25867,
    "item": {
     "@type": "ScholarlyArticle",
     "name": "eight_triangular_numbers_plus_one_is_the_odd_square",
@@ -466607,7 +466759,7 @@
   },
   {
    "@type": "ListItem",
-   "position": 25860,
+   "position": 25868,
    "item": {
     "@type": "ScholarlyArticle",
     "name": "the_josephus_survivor_is_twice_the_remainder_above_a_power_of_two_plus_one",
@@ -466626,7 +466778,7 @@
   },
   {
    "@type": "ListItem",
-   "position": 25861,
+   "position": 25869,
    "item": {
     "@type": "ScholarlyArticle",
     "name": "every_euclid_perfect_number_is_a_triangular_number",
@@ -466645,7 +466797,7 @@
   },
   {
    "@type": "ListItem",
-   "position": 25862,
+   "position": 25870,
    "item": {
     "@type": "ScholarlyArticle",
     "name": "units_sum_zero",
@@ -466664,7 +466816,7 @@
   },
   {
    "@type": "ListItem",
-   "position": 25863,
+   "position": 25871,
    "item": {
     "@type": "ScholarlyArticle",
     "name": "self_inverse_1_8",
@@ -466683,7 +466835,7 @@
   },
   {
    "@type": "ListItem",
-   "position": 25864,
+   "position": 25872,
    "item": {
     "@type": "ScholarlyArticle",
     "name": "triad_nilpotent",
@@ -466702,7 +466854,7 @@
   },
   {
    "@type": "ListItem",
-   "position": 25865,
+   "position": 25873,
    "item": {
     "@type": "ScholarlyArticle",
     "name": "triad_sum_zero",
@@ -466721,7 +466873,7 @@
   },
   {
    "@type": "ListItem",
-   "position": 25866,
+   "position": 25874,
    "item": {
     "@type": "ScholarlyArticle",
     "name": "units_product_neg1",
@@ -466740,7 +466892,7 @@
   },
   {
    "@type": "ListItem",
-   "position": 25867,
+   "position": 25875,
    "item": {
     "@type": "ScholarlyArticle",
     "name": "order_of_2_is_6",
@@ -466759,7 +466911,7 @@
   },
   {
    "@type": "ListItem",
-   "position": 25868,
+   "position": 25876,
    "item": {
     "@type": "ScholarlyArticle",
     "name": "sum_1_to_9_zero",
@@ -466778,7 +466930,7 @@
   },
   {
    "@type": "ListItem",
-   "position": 25869,
+   "position": 25877,
    "item": {
     "@type": "ScholarlyArticle",
     "name": "doubling_digitroot_period6",
@@ -466797,7 +466949,7 @@
   },
   {
    "@type": "ListItem",
-   "position": 25870,
+   "position": 25878,
    "item": {
     "@type": "ScholarlyArticle",
     "name": "unit_exp_id_k6",
@@ -466816,7 +466968,7 @@
   },
   {
    "@type": "ListItem",
-   "position": 25871,
+   "position": 25879,
    "item": {
     "@type": "ScholarlyArticle",
     "name": "unit_exp_id_k12",
@@ -466835,7 +466987,7 @@
   },
   {
    "@type": "ListItem",
-   "position": 25872,
+   "position": 25880,
    "item": {
     "@type": "ScholarlyArticle",
     "name": "unit_exp_id_k18",
@@ -466854,7 +467006,7 @@
   },
   {
    "@type": "ListItem",
-   "position": 25873,
+   "position": 25881,
    "item": {
     "@type": "ScholarlyArticle",
     "name": "powperm_k5",
@@ -466873,7 +467025,7 @@
   },
   {
    "@type": "ListItem",
-   "position": 25874,
+   "position": 25882,
    "item": {
     "@type": "ScholarlyArticle",
     "name": "powperm_k7",
@@ -466892,7 +467044,7 @@
   },
   {
    "@type": "ListItem",
-   "position": 25875,
+   "position": 25883,
    "item": {
     "@type": "ScholarlyArticle",
     "name": "qr_u1",
@@ -466911,7 +467063,7 @@
   },
   {
    "@type": "ListItem",
-   "position": 25876,
+   "position": 25884,
    "item": {
     "@type": "ScholarlyArticle",
     "name": "qr_u4",
@@ -466930,7 +467082,7 @@
   },
   {
    "@type": "ListItem",
-   "position": 25877,
+   "position": 25885,
    "item": {
     "@type": "ScholarlyArticle",
     "name": "universal_reflection_involution",
@@ -466949,7 +467101,7 @@
   },
   {
    "@type": "ListItem",
-   "position": 25878,
+   "position": 25886,
    "item": {
     "@type": "ScholarlyArticle",
     "name": "universal_centre_is_five",
@@ -466968,7 +467120,7 @@
   },
   {
    "@type": "ListItem",
-   "position": 25879,
+   "position": 25887,
    "item": {
     "@type": "ScholarlyArticle",
     "name": "universal_pairs_sum_to_ten",
@@ -466987,7 +467139,7 @@
   },
   {
    "@type": "ListItem",
-   "position": 25880,
+   "position": 25888,
    "item": {
     "@type": "ScholarlyArticle",
     "name": "universal_reflection_reverses_the_domain",
@@ -467006,7 +467158,7 @@
   },
   {
    "@type": "ListItem",
-   "position": 25881,
+   "position": 25889,
    "item": {
     "@type": "ScholarlyArticle",
     "name": "universal_reflection_is_not_an_involution_above_ten",
@@ -467025,7 +467177,7 @@
   },
   {
    "@type": "ListItem",
-   "position": 25882,
+   "position": 25890,
    "item": {
     "@type": "ScholarlyArticle",
     "name": "universal_z9_reflection_permutes_the_units",
@@ -467044,7 +467196,7 @@
   },
   {
    "@type": "ListItem",
-   "position": 25883,
+   "position": 25891,
    "item": {
     "@type": "ScholarlyArticle",
     "name": "universal_millennium_reflection_escapes_the_units",
@@ -467063,7 +467215,7 @@
   },
   {
    "@type": "ListItem",
-   "position": 25884,
+   "position": 25892,
    "item": {
     "@type": "ScholarlyArticle",
     "name": "universal_reflection_is_the_vortex_reflection_shifted",
@@ -467082,7 +467234,7 @@
   },
   {
    "@type": "ListItem",
-   "position": 25885,
+   "position": 25893,
    "item": {
     "@type": "ScholarlyArticle",
     "name": "the_chimera_annealer_qubit_count_is_eight_m_squared",
@@ -467101,7 +467253,7 @@
   },
   {
    "@type": "ListItem",
-   "position": 25886,
+   "position": 25894,
    "item": {
     "@type": "ScholarlyArticle",
     "name": "the_pegasus_annealer_count_is_twenty_four_m_times_m_minus_one",
@@ -467120,7 +467272,7 @@
   },
   {
    "@type": "ListItem",
-   "position": 25887,
+   "position": 25895,
    "item": {
     "@type": "ScholarlyArticle",
     "name": "the_qft_gate_count_is_the_triangular_number",
@@ -467139,7 +467291,7 @@
   },
   {
    "@type": "ListItem",
-   "position": 25888,
+   "position": 25896,
    "item": {
     "@type": "ScholarlyArticle",
     "name": "the_qft_swaps_depth_and_states",
@@ -467158,7 +467310,7 @@
   },
   {
    "@type": "ListItem",
-   "position": 25889,
+   "position": 25897,
    "item": {
     "@type": "ScholarlyArticle",
     "name": "archimedes_twenty_two_over_seven_bounds_pi_above_and_the_floor_is_three",
@@ -467177,7 +467329,7 @@
   },
   {
    "@type": "ListItem",
-   "position": 25890,
+   "position": 25898,
    "item": {
     "@type": "ScholarlyArticle",
     "name": "zu_chongzhis_three_fifty_five_over_one_thirteen_brackets_pi_to_six_places",
@@ -467196,7 +467348,7 @@
   },
   {
    "@type": "ListItem",
-   "position": 25891,
+   "position": 25899,
    "item": {
     "@type": "ScholarlyArticle",
     "name": "the_turn_is_three_hundred_sixty_degrees_and_the_half_turn_one_eighty",
@@ -467215,7 +467367,7 @@
   },
   {
    "@type": "ListItem",
-   "position": 25892,
+   "position": 25900,
    "item": {
     "@type": "ScholarlyArticle",
     "name": "these_are_exact_counts_and_rational_convergents_not_pi_itself",
@@ -467234,7 +467386,7 @@
   },
   {
    "@type": "ListItem",
-   "position": 25893,
+   "position": 25901,
    "item": {
     "@type": "ScholarlyArticle",
     "name": "squares_is_closed_under_quadruple",
@@ -467253,7 +467405,7 @@
   },
   {
    "@type": "ListItem",
-   "position": 25894,
+   "position": 25902,
    "item": {
     "@type": "ScholarlyArticle",
     "name": "cubes_is_closed_under_negate",
@@ -467272,7 +467424,7 @@
   },
   {
    "@type": "ListItem",
-   "position": 25895,
+   "position": 25903,
    "item": {
     "@type": "ScholarlyArticle",
     "name": "selfinv_is_closed_under_negate",
@@ -467291,7 +467443,7 @@
   },
   {
    "@type": "ListItem",
-   "position": 25896,
+   "position": 25904,
    "item": {
     "@type": "ScholarlyArticle",
     "name": "cubes_is_closed_under_cube",
@@ -467310,7 +467462,7 @@
   },
   {
    "@type": "ListItem",
-   "position": 25897,
+   "position": 25905,
    "item": {
     "@type": "ScholarlyArticle",
     "name": "squares_is_closed_under_septuple",
@@ -467329,7 +467481,7 @@
   },
   {
    "@type": "ListItem",
-   "position": 25898,
+   "position": 25906,
    "item": {
     "@type": "ScholarlyArticle",
     "name": "cubes_is_closed_under_octuple",
@@ -467348,7 +467500,7 @@
   },
   {
    "@type": "ListItem",
-   "position": 25899,
+   "position": 25907,
    "item": {
     "@type": "ScholarlyArticle",
     "name": "selfinv_is_closed_under_octuple",
@@ -467367,7 +467519,7 @@
   },
   {
    "@type": "ListItem",
-   "position": 25900,
+   "position": 25908,
    "item": {
     "@type": "ScholarlyArticle",
     "name": "cube_is_involutive_on_cubes",
@@ -467386,7 +467538,7 @@
   },
   {
    "@type": "ListItem",
-   "position": 25901,
+   "position": 25909,
    "item": {
     "@type": "ScholarlyArticle",
     "name": "double_collapses_reflfixed_to_one_value",
@@ -467405,7 +467557,7 @@
   },
   {
    "@type": "ListItem",
-   "position": 25902,
+   "position": 25910,
    "item": {
     "@type": "ScholarlyArticle",
     "name": "triple_collapses_reflfixed_to_one_value",
@@ -467424,7 +467576,7 @@
   },
   {
    "@type": "ListItem",
-   "position": 25903,
+   "position": 25911,
    "item": {
     "@type": "ScholarlyArticle",
     "name": "negate_collapses_reflfixed_to_one_value",
@@ -467443,7 +467595,7 @@
   },
   {
    "@type": "ListItem",
-   "position": 25904,
+   "position": 25912,
    "item": {
     "@type": "ScholarlyArticle",
     "name": "quintuple_collapses_reflfixed_to_one_value",
@@ -467462,7 +467614,7 @@
   },
   {
    "@type": "ListItem",
-   "position": 25905,
+   "position": 25913,
    "item": {
     "@type": "ScholarlyArticle",
     "name": "sextuple_collapses_reflfixed_to_one_value",
@@ -467481,7 +467633,7 @@
   },
   {
    "@type": "ListItem",
-   "position": 25906,
+   "position": 25914,
    "item": {
     "@type": "ScholarlyArticle",
     "name": "septuple_collapses_reflfixed_to_one_value",
@@ -467500,7 +467652,7 @@
   },
   {
    "@type": "ListItem",
-   "position": 25907,
+   "position": 25915,
    "item": {
     "@type": "ScholarlyArticle",
     "name": "octuple_collapses_reflfixed_to_one_value",
@@ -467519,7 +467671,7 @@
   },
   {
    "@type": "ListItem",
-   "position": 25908,
+   "position": 25916,
    "item": {
     "@type": "ScholarlyArticle",
     "name": "reversal_preserves_digit_sum",
@@ -467538,7 +467690,7 @@
   },
   {
    "@type": "ListItem",
-   "position": 25909,
+   "position": 25917,
    "item": {
     "@type": "ScholarlyArticle",
     "name": "digital_root_is_invariant_under_reversal",
@@ -467557,7 +467709,7 @@
   },
   {
    "@type": "ListItem",
-   "position": 25910,
+   "position": 25918,
    "item": {
     "@type": "ScholarlyArticle",
     "name": "the_ledger_reversal_cases",
@@ -467576,7 +467728,7 @@
   },
   {
    "@type": "ListItem",
-   "position": 25911,
+   "position": 25919,
    "item": {
     "@type": "ScholarlyArticle",
     "name": "reversal_is_not_the_identity",
@@ -467595,7 +467747,7 @@
   },
   {
    "@type": "ListItem",
-   "position": 25912,
+   "position": 25920,
    "item": {
     "@type": "ScholarlyArticle",
     "name": "palindromes_are_the_fixed_points",
@@ -467614,7 +467766,7 @@
   },
   {
    "@type": "ListItem",
-   "position": 25913,
+   "position": 25921,
    "item": {
     "@type": "ScholarlyArticle",
     "name": "emirps_exist_below_one_hundred",
@@ -467633,7 +467785,7 @@
   },
   {
    "@type": "ListItem",
-   "position": 25914,
+   "position": 25922,
    "item": {
     "@type": "ScholarlyArticle",
     "name": "reversal_does_not_preserve_primality",
@@ -467652,7 +467804,7 @@
   },
   {
    "@type": "ListItem",
-   "position": 25915,
+   "position": 25923,
    "item": {
     "@type": "ScholarlyArticle",
     "name": "reversal_is_involutive_exactly_off_the_trailing_zeros",
@@ -467671,7 +467823,7 @@
   },
   {
    "@type": "ListItem",
-   "position": 25916,
+   "position": 25924,
    "item": {
     "@type": "ScholarlyArticle",
     "name": "foldl_add_start",
@@ -467690,7 +467842,7 @@
   },
   {
    "@type": "ListItem",
-   "position": 25917,
+   "position": 25925,
    "item": {
     "@type": "ScholarlyArticle",
     "name": "the_digits_sum_to_the_number_mod_nine_when_the_fuel_covers_them",
@@ -467709,7 +467861,7 @@
   },
   {
    "@type": "ListItem",
-   "position": 25918,
+   "position": 25926,
    "item": {
     "@type": "ScholarlyArticle",
     "name": "a_number_is_below_ten_to_its_own_successor",
@@ -467728,7 +467880,7 @@
   },
   {
    "@type": "ListItem",
-   "position": 25919,
+   "position": 25927,
    "item": {
     "@type": "ScholarlyArticle",
     "name": "the_digit_sum_has_the_residue_of_the_number_mod_nine_for_every_n",
@@ -467747,7 +467899,7 @@
   },
   {
    "@type": "ListItem",
-   "position": 25920,
+   "position": 25928,
    "item": {
     "@type": "ScholarlyArticle",
     "name": "folding_by_ten_keeps_the_residue_of_the_digit_sum",
@@ -467766,7 +467918,7 @@
   },
   {
    "@type": "ListItem",
-   "position": 25921,
+   "position": 25929,
    "item": {
     "@type": "ScholarlyArticle",
     "name": "reversal_keeps_the_residue_mod_nine_for_every_n",
@@ -467785,7 +467937,7 @@
   },
   {
    "@type": "ListItem",
-   "position": 25922,
+   "position": 25930,
    "item": {
     "@type": "ScholarlyArticle",
     "name": "digitsF_zero",
@@ -467804,7 +467956,7 @@
   },
   {
    "@type": "ListItem",
-   "position": 25923,
+   "position": 25931,
    "item": {
     "@type": "ScholarlyArticle",
     "name": "every_digit_is_below_ten",
@@ -467823,7 +467975,7 @@
   },
   {
    "@type": "ListItem",
-   "position": 25924,
+   "position": 25932,
    "item": {
     "@type": "ScholarlyArticle",
     "name": "the_digits_rebuild_the_number_when_the_fuel_covers_them",
@@ -467842,7 +467994,7 @@
   },
   {
    "@type": "ListItem",
-   "position": 25925,
+   "position": 25933,
    "item": {
     "@type": "ScholarlyArticle",
     "name": "the_number_is_rebuilt_from_its_digits_for_every_n",
@@ -467861,7 +468013,7 @@
   },
   {
    "@type": "ListItem",
-   "position": 25926,
+   "position": 25934,
    "item": {
     "@type": "ScholarlyArticle",
     "name": "a_sum_is_the_same_read_backwards",
@@ -467880,7 +468032,7 @@
   },
   {
    "@type": "ListItem",
-   "position": 25927,
+   "position": 25935,
    "item": {
     "@type": "ScholarlyArticle",
     "name": "the_top_digit_is_nonzero",
@@ -467899,7 +468051,7 @@
   },
   {
    "@type": "ListItem",
-   "position": 25928,
+   "position": 25936,
    "item": {
     "@type": "ScholarlyArticle",
     "name": "reversal_leaves_no_trailing_zero",
@@ -467918,7 +468070,7 @@
   },
   {
    "@type": "ListItem",
-   "position": 25929,
+   "position": 25937,
    "item": {
     "@type": "ScholarlyArticle",
     "name": "reading_a_list_back_from_the_top",
@@ -467937,7 +468089,7 @@
   },
   {
    "@type": "ListItem",
-   "position": 25930,
+   "position": 25938,
    "item": {
     "@type": "ScholarlyArticle",
     "name": "the_digits_of_the_reversal_are_the_reversed_digits",
@@ -467956,7 +468108,7 @@
   },
   {
    "@type": "ListItem",
-   "position": 25931,
+   "position": 25939,
    "item": {
     "@type": "ScholarlyArticle",
     "name": "reversal_is_involutive_off_the_trailing_zeros_for_every_n",
@@ -467975,7 +468127,7 @@
   },
   {
    "@type": "ListItem",
-   "position": 25932,
+   "position": 25940,
    "item": {
     "@type": "ScholarlyArticle",
     "name": "reversal_is_involutive_exactly_off_the_trailing_zeros_for_every_n",
@@ -467994,7 +468146,7 @@
   },
   {
    "@type": "ListItem",
-   "position": 25933,
+   "position": 25941,
    "item": {
     "@type": "ScholarlyArticle",
     "name": "more_fuel_changes_no_digit",
@@ -468013,7 +468165,7 @@
   },
   {
    "@type": "ListItem",
-   "position": 25934,
+   "position": 25942,
    "item": {
     "@type": "ScholarlyArticle",
     "name": "a_trailing_zero_is_a_leading_zero_of_the_digits",
@@ -468032,7 +468184,7 @@
   },
   {
    "@type": "ListItem",
-   "position": 25935,
+   "position": 25943,
    "item": {
     "@type": "ScholarlyArticle",
     "name": "reversal_preserves_the_digit_sum_for_every_n",
@@ -468051,7 +468203,7 @@
   },
   {
    "@type": "ListItem",
-   "position": 25936,
+   "position": 25944,
    "item": {
     "@type": "ScholarlyArticle",
     "name": "the_fixed_points_of_reversal_are_the_palindromes_for_every_n",
@@ -468070,7 +468222,7 @@
   },
   {
    "@type": "ListItem",
-   "position": 25937,
+   "position": 25945,
    "item": {
     "@type": "ScholarlyArticle",
     "name": "claims_exactly_what_arises_without_formality",
@@ -468089,7 +468241,7 @@
   },
   {
    "@type": "ListItem",
-   "position": 25938,
+   "position": 25946,
    "item": {
     "@type": "ScholarlyArticle",
     "name": "the_claimed_are_copyright_moral_rights_and_the_database",
@@ -468108,7 +468260,7 @@
   },
   {
    "@type": "ListItem",
-   "position": 25939,
+   "position": 25947,
    "item": {
     "@type": "ScholarlyArticle",
     "name": "the_claimed_set_is_exactly_those_three_and_the_unregistered_mark",
@@ -468127,7 +468279,7 @@
   },
   {
    "@type": "ListItem",
-   "position": 25940,
+   "position": 25948,
    "item": {
     "@type": "ScholarlyArticle",
     "name": "the_unclaimed_are_the_registry_the_excluded_and_the_unownable",
@@ -468146,7 +468298,7 @@
   },
   {
    "@type": "ListItem",
-   "position": 25941,
+   "position": 25949,
    "item": {
     "@type": "ScholarlyArticle",
     "name": "no_right_that_needs_a_registry_act_is_claimed",
@@ -468165,7 +468317,7 @@
   },
   {
    "@type": "ListItem",
-   "position": 25942,
+   "position": 25950,
    "item": {
     "@type": "ScholarlyArticle",
     "name": "no_excluded_subject_matter_is_claimed",
@@ -468184,7 +468336,7 @@
   },
   {
    "@type": "ListItem",
-   "position": 25943,
+   "position": 25951,
    "item": {
     "@type": "ScholarlyArticle",
     "name": "nothing_incapable_of_ownership_is_claimed",
@@ -468203,7 +468355,7 @@
   },
   {
    "@type": "ListItem",
-   "position": 25944,
+   "position": 25952,
    "item": {
     "@type": "ScholarlyArticle",
     "name": "the_enumeration_is_complete_and_unduplicated",
@@ -468222,7 +468374,7 @@
   },
   {
    "@type": "ListItem",
-   "position": 25945,
+   "position": 25953,
    "item": {
     "@type": "ScholarlyArticle",
     "name": "the_cube_root_is_the_floor",
@@ -468241,7 +468393,7 @@
   },
   {
    "@type": "ListItem",
-   "position": 25946,
+   "position": 25954,
    "item": {
     "@type": "ScholarlyArticle",
     "name": "the_cube_root_is_not_one_short",
@@ -468260,7 +468412,7 @@
   },
   {
    "@type": "ListItem",
-   "position": 25947,
+   "position": 25955,
    "item": {
     "@type": "ScholarlyArticle",
     "name": "the_square_root_is_the_floor_and_not_one_short",
@@ -468279,7 +468431,7 @@
   },
   {
    "@type": "ListItem",
-   "position": 25948,
+   "position": 25956,
    "item": {
     "@type": "ScholarlyArticle",
     "name": "the_prime_generator_is_complete",
@@ -468298,7 +468450,7 @@
   },
   {
    "@type": "ListItem",
-   "position": 25949,
+   "position": 25957,
    "item": {
     "@type": "ScholarlyArticle",
     "name": "the_first_round_constant_is_that_cube_root_fraction",
@@ -468317,7 +468469,7 @@
   },
   {
    "@type": "ListItem",
-   "position": 25950,
+   "position": 25958,
    "item": {
     "@type": "ScholarlyArticle",
     "name": "the_first_initial_value_is_that_square_root_fraction",
@@ -468336,7 +468488,7 @@
   },
   {
    "@type": "ListItem",
-   "position": 25951,
+   "position": 25959,
    "item": {
     "@type": "ScholarlyArticle",
     "name": "the_cube_and_the_square_do_not_agree",
@@ -468355,7 +468507,7 @@
   },
   {
    "@type": "ListItem",
-   "position": 25952,
+   "position": 25960,
    "item": {
     "@type": "ScholarlyArticle",
     "name": "the_ring_is_the_same_around_every_hub",
@@ -468374,7 +468526,7 @@
   },
   {
    "@type": "ListItem",
-   "position": 25953,
+   "position": 25961,
    "item": {
     "@type": "ScholarlyArticle",
     "name": "the_ring_separates_no_two_subjects",
@@ -468393,7 +468545,7 @@
   },
   {
    "@type": "ListItem",
-   "position": 25954,
+   "position": 25962,
    "item": {
     "@type": "ScholarlyArticle",
     "name": "the_varying_reading_separates_every_pair",
@@ -468412,7 +468564,7 @@
   },
   {
    "@type": "ListItem",
-   "position": 25955,
+   "position": 25963,
    "item": {
     "@type": "ScholarlyArticle",
     "name": "the_ring_takes_one_value_and_the_control_takes_three",
@@ -468431,7 +468583,7 @@
   },
   {
    "@type": "ListItem",
-   "position": 25956,
+   "position": 25964,
    "item": {
     "@type": "ScholarlyArticle",
     "name": "no_label_of_the_ring_narrows_the_subject",
@@ -468450,7 +468602,7 @@
   },
   {
    "@type": "ListItem",
-   "position": 25957,
+   "position": 25965,
    "item": {
     "@type": "ScholarlyArticle",
     "name": "every_label_of_the_varying_reading_names_one_subject",
@@ -468469,7 +468621,7 @@
   },
   {
    "@type": "ListItem",
-   "position": 25958,
+   "position": 25966,
    "item": {
     "@type": "ScholarlyArticle",
     "name": "the_printed_balance_holds_only_when_the_soil_is_zero",
@@ -468488,7 +468640,7 @@
   },
   {
    "@type": "ListItem",
-   "position": 25959,
+   "position": 25967,
    "item": {
     "@type": "ScholarlyArticle",
     "name": "the_intended_update_is_injective_in_the_soil",
@@ -468507,7 +468659,7 @@
   },
   {
    "@type": "ListItem",
-   "position": 25960,
+   "position": 25968,
    "item": {
     "@type": "ScholarlyArticle",
     "name": "cassini_at_even_indices",
@@ -468526,7 +468678,7 @@
   },
   {
    "@type": "ListItem",
-   "position": 25961,
+   "position": 25969,
    "item": {
     "@type": "ScholarlyArticle",
     "name": "cassini_at_odd_indices",
@@ -468545,7 +468697,7 @@
   },
   {
    "@type": "ListItem",
-   "position": 25962,
+   "position": 25970,
    "item": {
     "@type": "ScholarlyArticle",
     "name": "cassini_deviation_is_exactly_one",
@@ -468564,7 +468716,7 @@
   },
   {
    "@type": "ListItem",
-   "position": 25963,
+   "position": 25971,
    "item": {
     "@type": "ScholarlyArticle",
     "name": "lucas_mod_two_is_the_and_rule",
@@ -468583,7 +468735,7 @@
   },
   {
    "@type": "ListItem",
-   "position": 25964,
+   "position": 25972,
    "item": {
     "@type": "ScholarlyArticle",
     "name": "pascal_has_both_parities",
@@ -468602,7 +468754,7 @@
   },
   {
    "@type": "ListItem",
-   "position": 25965,
+   "position": 25973,
    "item": {
     "@type": "ScholarlyArticle",
     "name": "sums_of_two_squares_are_closed",
@@ -468621,7 +468773,7 @@
   },
   {
    "@type": "ListItem",
-   "position": 25966,
+   "position": 25974,
    "item": {
     "@type": "ScholarlyArticle",
     "name": "three_five_eight_are_consecutive",
@@ -468640,7 +468792,7 @@
   },
   {
    "@type": "ListItem",
-   "position": 25967,
+   "position": 25975,
    "item": {
     "@type": "ScholarlyArticle",
     "name": "pisano_twentyfour_is_four_sixes",
@@ -468659,7 +468811,7 @@
   },
   {
    "@type": "ListItem",
-   "position": 25968,
+   "position": 25976,
    "item": {
     "@type": "ScholarlyArticle",
     "name": "thue_morse_doubling_recurrence",
@@ -468678,7 +468830,7 @@
   },
   {
    "@type": "ListItem",
-   "position": 25969,
+   "position": 25977,
    "item": {
     "@type": "ScholarlyArticle",
     "name": "doubling_preserves_the_parity_of_the_bits",
@@ -468697,7 +468849,7 @@
   },
   {
    "@type": "ListItem",
-   "position": 25970,
+   "position": 25978,
    "item": {
     "@type": "ScholarlyArticle",
     "name": "the_odd_step_sets_exactly_one_further_bit",
@@ -468716,7 +468868,7 @@
   },
   {
    "@type": "ListItem",
-   "position": 25971,
+   "position": 25979,
    "item": {
     "@type": "ScholarlyArticle",
     "name": "the_sequence_takes_both_values",
@@ -468735,7 +468887,7 @@
   },
   {
    "@type": "ListItem",
-   "position": 25972,
+   "position": 25980,
    "item": {
     "@type": "ScholarlyArticle",
     "name": "cassinis_identity_for_every_m",
@@ -468754,7 +468906,7 @@
   },
   {
    "@type": "ListItem",
-   "position": 25973,
+   "position": 25981,
    "item": {
     "@type": "ScholarlyArticle",
     "name": "a_bit_sum_over_one_more_position_adds_that_bit",
@@ -468773,7 +468925,7 @@
   },
   {
    "@type": "ListItem",
-   "position": 25974,
+   "position": 25982,
    "item": {
     "@type": "ScholarlyArticle",
     "name": "halving_shifts_every_bit_down_by_one",
@@ -468792,7 +468944,7 @@
   },
   {
    "@type": "ListItem",
-   "position": 25975,
+   "position": 25983,
    "item": {
     "@type": "ScholarlyArticle",
     "name": "the_bits_of_a_number_are_its_low_bit_then_the_bits_of_its_half",
@@ -468811,7 +468963,7 @@
   },
   {
    "@type": "ListItem",
-   "position": 25976,
+   "position": 25984,
    "item": {
     "@type": "ScholarlyArticle",
     "name": "bits_above_the_number_add_nothing",
@@ -468830,7 +468982,7 @@
   },
   {
    "@type": "ListItem",
-   "position": 25977,
+   "position": 25985,
    "item": {
     "@type": "ScholarlyArticle",
     "name": "a_number_is_below_two_to_its_own_power",
@@ -468849,7 +469001,7 @@
   },
   {
    "@type": "ListItem",
-   "position": 25978,
+   "position": 25986,
    "item": {
     "@type": "ScholarlyArticle",
     "name": "a_number_is_below_two_to_its_own_successor",
@@ -468868,7 +469020,7 @@
   },
   {
    "@type": "ListItem",
-   "position": 25979,
+   "position": 25987,
    "item": {
     "@type": "ScholarlyArticle",
     "name": "doubling_preserves_the_bit_count_for_every_n",
@@ -468887,7 +469039,7 @@
   },
   {
    "@type": "ListItem",
-   "position": 25980,
+   "position": 25988,
    "item": {
     "@type": "ScholarlyArticle",
     "name": "the_odd_step_sets_exactly_one_further_bit_for_every_n",
@@ -468906,7 +469058,7 @@
   },
   {
    "@type": "ListItem",
-   "position": 25981,
+   "position": 25989,
    "item": {
     "@type": "ScholarlyArticle",
     "name": "thue_morse_doubling_recurrence_for_every_n",
@@ -468925,7 +469077,7 @@
   },
   {
    "@type": "ListItem",
-   "position": 25982,
+   "position": 25990,
    "item": {
     "@type": "ScholarlyArticle",
     "name": "halving_removes_exactly_the_low_bit_for_every_n",
@@ -468944,7 +469096,7 @@
   },
   {
    "@type": "ListItem",
-   "position": 25983,
+   "position": 25991,
    "item": {
     "@type": "ScholarlyArticle",
     "name": "the_thue_morse_halving_recurrence_for_every_n",
@@ -468963,7 +469115,7 @@
   },
   {
    "@type": "ListItem",
-   "position": 25984,
+   "position": 25992,
    "item": {
     "@type": "ScholarlyArticle",
     "name": "doubling_shifts_every_bit_up_by_one",
@@ -468982,7 +469134,7 @@
   },
   {
    "@type": "ListItem",
-   "position": 25985,
+   "position": 25993,
    "item": {
     "@type": "ScholarlyArticle",
     "name": "the_residue_below_the_next_power_adds_one_bit",
@@ -469001,7 +469153,7 @@
   },
   {
    "@type": "ListItem",
-   "position": 25986,
+   "position": 25994,
    "item": {
     "@type": "ScholarlyArticle",
     "name": "the_low_bits_rebuild_the_number_below_every_power",
@@ -469020,7 +469172,7 @@
   },
   {
    "@type": "ListItem",
-   "position": 25987,
+   "position": 25995,
    "item": {
     "@type": "ScholarlyArticle",
     "name": "the_number_is_rebuilt_from_its_bits_for_every_n",
@@ -469039,7 +469191,7 @@
   },
   {
    "@type": "ListItem",
-   "position": 25988,
+   "position": 25996,
    "item": {
     "@type": "ScholarlyArticle",
     "name": "every_file_settles_exactly_what_it_declares",
@@ -469058,7 +469210,7 @@
   },
   {
    "@type": "ListItem",
-   "position": 25989,
+   "position": 25997,
    "item": {
     "@type": "ScholarlyArticle",
     "name": "no_file_declares_more_than_it_holds",
@@ -469077,7 +469229,7 @@
   },
   {
    "@type": "ListItem",
-   "position": 25990,
+   "position": 25998,
    "item": {
     "@type": "ScholarlyArticle",
     "name": "the_parts_sum_to_the_whole_and_each_part_is_recoverable",
@@ -469096,7 +469248,7 @@
   },
   {
    "@type": "ListItem",
-   "position": 25991,
+   "position": 25999,
    "item": {
     "@type": "ScholarlyArticle",
     "name": "no_file_settles_nothing",
@@ -469115,7 +469267,7 @@
   },
   {
    "@type": "ListItem",
-   "position": 25992,
+   "position": 26000,
    "item": {
     "@type": "ScholarlyArticle",
     "name": "the_counts_are_not_one_number_repeated",
@@ -469134,7 +469286,7 @@
   },
   {
    "@type": "ListItem",
-   "position": 25993,
+   "position": 26001,
    "item": {
     "@type": "ScholarlyArticle",
     "name": "each_file_is_counted_once",
@@ -469153,7 +469305,7 @@
   },
   {
    "@type": "ListItem",
-   "position": 25994,
+   "position": 26002,
    "item": {
     "@type": "ScholarlyArticle",
     "name": "the_two_proof_styles_partition_the_theorems",
@@ -469172,7 +469324,7 @@
   },
   {
    "@type": "ListItem",
-   "position": 25995,
+   "position": 26003,
    "item": {
     "@type": "ScholarlyArticle",
     "name": "no_declaration_in_these_files_closes_by_rfl",
@@ -469191,7 +469343,7 @@
   },
   {
    "@type": "ListItem",
-   "position": 25996,
+   "position": 26004,
    "item": {
     "@type": "ScholarlyArticle",
     "name": "the_verify_path_is_the_exponent",
@@ -469210,7 +469362,7 @@
   },
   {
    "@type": "ListItem",
-   "position": 25997,
+   "position": 26005,
    "item": {
     "@type": "ScholarlyArticle",
     "name": "the_gap_widens_with_every_doubling",
@@ -469229,7 +469381,7 @@
   },
   {
    "@type": "ListItem",
-   "position": 25998,
+   "position": 26006,
    "item": {
     "@type": "ScholarlyArticle",
     "name": "no_constant_factor_accounts_for_the_gap",
@@ -469248,7 +469400,7 @@
   },
   {
    "@type": "ListItem",
-   "position": 25999,
+   "position": 26007,
    "item": {
     "@type": "ScholarlyArticle",
     "name": "the_measured_ratio_exceeds_the_counted_gap",
@@ -469267,7 +469419,7 @@
   },
   {
    "@type": "ListItem",
-   "position": 26000,
+   "position": 26008,
    "item": {
     "@type": "ScholarlyArticle",
     "name": "verification_grows_it_is_not_constant",
@@ -469286,7 +469438,7 @@
   },
   {
    "@type": "ListItem",
-   "position": 26001,
+   "position": 26009,
    "item": {
     "@type": "ScholarlyArticle",
     "name": "the_microseconds_return_from_the_nanoseconds_at_every_count",
@@ -469305,7 +469457,7 @@
   },
   {
    "@type": "ListItem",
-   "position": 26002,
+   "position": 26010,
    "item": {
     "@type": "ScholarlyArticle",
     "name": "the_verify_in_nanoseconds_reads_back_its_microseconds",
@@ -469324,7 +469476,7 @@
   },
   {
    "@type": "ListItem",
-   "position": 26003,
+   "position": 26011,
    "item": {
     "@type": "ScholarlyArticle",
     "name": "the_advantage_is_the_count_not_the_operation",
@@ -469343,7 +469495,7 @@
   },
   {
    "@type": "ListItem",
-   "position": 26004,
+   "position": 26012,
    "item": {
     "@type": "ScholarlyArticle",
     "name": "the_break_even_is_the_ratio_of_verifications",
@@ -469362,7 +469514,7 @@
   },
   {
    "@type": "ListItem",
-   "position": 26005,
+   "position": 26013,
    "item": {
     "@type": "ScholarlyArticle",
     "name": "the_width_is_the_ceiling_of_128_bits_over_the_symbol",
@@ -469381,7 +469533,7 @@
   },
   {
    "@type": "ListItem",
-   "position": 26006,
+   "position": 26014,
    "item": {
     "@type": "ScholarlyArticle",
     "name": "hexbits_are_slower_and_the_ratio_multiplies_back",
@@ -469400,7 +469552,7 @@
   },
   {
    "@type": "ListItem",
-   "position": 26007,
+   "position": 26015,
    "item": {
     "@type": "ScholarlyArticle",
     "name": "the_nanoseconds_return_from_the_microseconds_at_every_whole_count",
@@ -469419,7 +469571,7 @@
   },
   {
    "@type": "ListItem",
-   "position": 26008,
+   "position": 26016,
    "item": {
     "@type": "ScholarlyArticle",
     "name": "the_cross_formula_is_the_product_mod_256",
@@ -469438,7 +469590,7 @@
   },
   {
    "@type": "ListItem",
-   "position": 26009,
+   "position": 26017,
    "item": {
     "@type": "ScholarlyArticle",
     "name": "the_high_term_never_reaches_the_wrap",
@@ -469457,7 +469609,7 @@
   },
   {
    "@type": "ListItem",
-   "position": 26010,
+   "position": 26018,
    "item": {
     "@type": "ScholarlyArticle",
     "name": "only_the_low_digit_of_the_cross_term_survives_the_shift",
@@ -469476,7 +469628,7 @@
   },
   {
    "@type": "ListItem",
-   "position": 26011,
+   "position": 26019,
    "item": {
     "@type": "ScholarlyArticle",
     "name": "the_cross_term_fits_before_its_own_wrap",
@@ -469495,7 +469647,7 @@
   },
   {
    "@type": "ListItem",
-   "position": 26012,
+   "position": 26020,
    "item": {
     "@type": "ScholarlyArticle",
     "name": "the_sum_before_the_wrap_is_below_twice_the_modulus",
@@ -469514,7 +469666,7 @@
   },
   {
    "@type": "ListItem",
-   "position": 26013,
+   "position": 26021,
    "item": {
     "@type": "ScholarlyArticle",
     "name": "the_cross_formula_is_symmetric_in_its_factors",
@@ -469533,7 +469685,7 @@
   },
   {
    "@type": "ListItem",
-   "position": 26014,
+   "position": 26022,
    "item": {
     "@type": "ScholarlyArticle",
     "name": "the_wrap_commutes_with_the_next_multiply_by_the_prime",
@@ -469552,7 +469704,7 @@
   },
   {
    "@type": "ListItem",
-   "position": 26015,
+   "position": 26023,
    "item": {
     "@type": "ScholarlyArticle",
     "name": "dropping_the_cross_term_is_refuted",
@@ -469571,7 +469723,7 @@
   },
   {
    "@type": "ListItem",
-   "position": 26016,
+   "position": 26024,
    "item": {
     "@type": "ScholarlyArticle",
     "name": "temperature_falls_with_the_batch_when_a_part_is_shared",
@@ -469590,7 +469742,7 @@
   },
   {
    "@type": "ListItem",
-   "position": 26017,
+   "position": 26025,
    "item": {
     "@type": "ScholarlyArticle",
     "name": "temperature_is_flat_when_nothing_is_shared",
@@ -469609,7 +469761,7 @@
   },
   {
    "@type": "ListItem",
-   "position": 26018,
+   "position": 26026,
    "item": {
     "@type": "ScholarlyArticle",
     "name": "the_fall_is_exactly_the_shared_part_spread_over_the_batch",
@@ -469628,7 +469780,7 @@
   },
   {
    "@type": "ListItem",
-   "position": 26019,
+   "position": 26027,
    "item": {
     "@type": "ScholarlyArticle",
     "name": "time_falls_with_the_lanes",
@@ -469647,7 +469799,7 @@
   },
   {
    "@type": "ListItem",
-   "position": 26020,
+   "position": 26028,
    "item": {
     "@type": "ScholarlyArticle",
     "name": "time_saturates_when_the_lanes_reach_the_batch",
@@ -469666,7 +469818,7 @@
   },
   {
    "@type": "ListItem",
-   "position": 26021,
+   "position": 26029,
    "item": {
     "@type": "ScholarlyArticle",
     "name": "the_hex_fold_is_order_free",
@@ -469685,7 +469837,7 @@
   },
   {
    "@type": "ListItem",
-   "position": 26022,
+   "position": 26030,
    "item": {
     "@type": "ScholarlyArticle",
     "name": "the_measured_temperature_fell_tenfold_and_then_rose",
@@ -469704,7 +469856,7 @@
   },
   {
    "@type": "ListItem",
-   "position": 26023,
+   "position": 26031,
    "item": {
     "@type": "ScholarlyArticle",
     "name": "the_two_tables_fold_order_free_and_apart",
@@ -469723,7 +469875,7 @@
   },
   {
    "@type": "ListItem",
-   "position": 26024,
+   "position": 26032,
    "item": {
     "@type": "ScholarlyArticle",
     "name": "the_singles_are_exactly_the_non_units",
@@ -469742,7 +469894,7 @@
   },
   {
    "@type": "ListItem",
-   "position": 26025,
+   "position": 26033,
    "item": {
     "@type": "ScholarlyArticle",
     "name": "the_pairs_are_exactly_the_units_in_order",
@@ -469761,7 +469913,7 @@
   },
   {
    "@type": "ListItem",
-   "position": 26026,
+   "position": 26034,
    "item": {
     "@type": "ScholarlyArticle",
     "name": "each_pair_is_two_consecutive_units",
@@ -469780,7 +469932,7 @@
   },
   {
    "@type": "ListItem",
-   "position": 26027,
+   "position": 26035,
    "item": {
     "@type": "ScholarlyArticle",
     "name": "every_token_is_a_multiple_of_three",
@@ -469799,7 +469951,7 @@
   },
   {
    "@type": "ListItem",
-   "position": 26028,
+   "position": 26036,
    "item": {
     "@type": "ScholarlyArticle",
     "name": "the_tokens_are_three_times_these",
@@ -469818,7 +469970,7 @@
   },
   {
    "@type": "ListItem",
-   "position": 26029,
+   "position": 26037,
    "item": {
     "@type": "ScholarlyArticle",
     "name": "addition_and_multiplication_stay_inside",
@@ -469837,7 +469989,7 @@
   },
   {
    "@type": "ListItem",
-   "position": 26030,
+   "position": 26038,
    "item": {
     "@type": "ScholarlyArticle",
     "name": "subtraction_stays_inside",
@@ -469856,7 +470008,7 @@
   },
   {
    "@type": "ListItem",
-   "position": 26031,
+   "position": 26039,
    "item": {
     "@type": "ScholarlyArticle",
     "name": "division_is_the_operation_that_leaves",
@@ -469875,7 +470027,7 @@
   },
   {
    "@type": "ListItem",
-   "position": 26032,
+   "position": 26040,
    "item": {
     "@type": "ScholarlyArticle",
     "name": "the_roots_are_the_singles",
@@ -469894,7 +470046,7 @@
   },
   {
    "@type": "ListItem",
-   "position": 26033,
+   "position": 26041,
    "item": {
     "@type": "ScholarlyArticle",
     "name": "every_root_is_a_single",
@@ -469913,7 +470065,7 @@
   },
   {
    "@type": "ListItem",
-   "position": 26034,
+   "position": 26042,
    "item": {
     "@type": "ScholarlyArticle",
     "name": "the_coin_step_and_the_coins_are_inverse",
@@ -469932,7 +470084,7 @@
   },
   {
    "@type": "ListItem",
-   "position": 26035,
+   "position": 26043,
    "item": {
     "@type": "ScholarlyArticle",
     "name": "paying_and_refunding_coins_on_the_last_pair_round_trips",
@@ -469951,7 +470103,7 @@
   },
   {
    "@type": "ListItem",
-   "position": 26036,
+   "position": 26044,
    "item": {
     "@type": "ScholarlyArticle",
     "name": "the_exhaustible_tokens_are_those_six_divides",
@@ -469970,7 +470122,7 @@
   },
   {
    "@type": "ListItem",
-   "position": 26037,
+   "position": 26045,
    "item": {
     "@type": "ScholarlyArticle",
     "name": "the_rest_halt_on_the_generator",
@@ -469989,7 +470141,7 @@
   },
   {
    "@type": "ListItem",
-   "position": 26038,
+   "position": 26046,
    "item": {
     "@type": "ScholarlyArticle",
     "name": "every_token_is_void_bound_or_halts_on_three",
@@ -470008,7 +470160,7 @@
   },
   {
    "@type": "ListItem",
-   "position": 26039,
+   "position": 26047,
    "item": {
     "@type": "ScholarlyArticle",
     "name": "inside_this_ideal_the_bare_coin_sorts_as_the_scaled_one",
@@ -470027,7 +470179,7 @@
   },
   {
    "@type": "ListItem",
-   "position": 26040,
+   "position": 26048,
    "item": {
     "@type": "ScholarlyArticle",
     "name": "a_seal_divides_into_payments_and_multiplies_back",
@@ -470046,7 +470198,7 @@
   },
   {
    "@type": "ListItem",
-   "position": 26041,
+   "position": 26049,
    "item": {
     "@type": "ScholarlyArticle",
     "name": "sixty_four_is_where_the_doubling_returns",
@@ -470065,7 +470217,7 @@
   },
   {
    "@type": "ListItem",
-   "position": 26042,
+   "position": 26050,
    "item": {
     "@type": "ScholarlyArticle",
     "name": "the_orbit_turns_once_per_budget",
@@ -470084,7 +470236,7 @@
   },
   {
    "@type": "ListItem",
-   "position": 26043,
+   "position": 26051,
    "item": {
     "@type": "ScholarlyArticle",
     "name": "the_coin_step_and_the_coins_are_inverse_for_every_c",
@@ -470103,7 +470255,7 @@
   },
   {
    "@type": "ListItem",
-   "position": 26044,
+   "position": 26052,
    "item": {
     "@type": "ScholarlyArticle",
     "name": "the_coins_return_from_the_coin_step_for_every_multiple_of_three",
@@ -470122,7 +470274,7 @@
   },
   {
    "@type": "ListItem",
-   "position": 26045,
+   "position": 26053,
    "item": {
     "@type": "ScholarlyArticle",
     "name": "paying_and_refunding_round_trips_for_every_count",
@@ -470141,7 +470293,7 @@
   },
   {
    "@type": "ListItem",
-   "position": 26046,
+   "position": 26054,
    "item": {
     "@type": "ScholarlyArticle",
     "name": "the_single_qubit_clifford_group_has_order_twenty_four",
@@ -470160,7 +470312,7 @@
   },
   {
    "@type": "ListItem",
-   "position": 26047,
+   "position": 26055,
    "item": {
     "@type": "ScholarlyArticle",
     "name": "the_symplectic_group_order_at_each_rank",
@@ -470179,7 +470331,7 @@
   },
   {
    "@type": "ListItem",
-   "position": 26048,
+   "position": 26056,
    "item": {
     "@type": "ScholarlyArticle",
     "name": "the_two_qubit_clifford_group_has_order_eleven_thousand_five_hundred_twenty",
@@ -470198,7 +470350,7 @@
   },
   {
    "@type": "ListItem",
-   "position": 26049,
+   "position": 26057,
    "item": {
     "@type": "ScholarlyArticle",
     "name": "fibonacci_anyon_fusion_is_the_fibonacci_number",
@@ -470217,7 +470369,7 @@
   },
   {
    "@type": "ListItem",
-   "position": 26050,
+   "position": 26058,
    "item": {
     "@type": "ScholarlyArticle",
     "name": "ising_anyon_fusion_is_two_to_the_m_minus_one_and_differs_from_fibonacci",
@@ -470236,7 +470388,7 @@
   },
   {
    "@type": "ListItem",
-   "position": 26051,
+   "position": 26059,
    "item": {
     "@type": "ScholarlyArticle",
     "name": "the_fifteen_to_one_magic_code_is_fifteen_one_three",
@@ -470255,7 +470407,7 @@
   },
   {
    "@type": "ListItem",
-   "position": 26052,
+   "position": 26060,
    "item": {
     "@type": "ScholarlyArticle",
     "name": "qaoa_resource_counts_over_the_layers",
@@ -470274,7 +470426,7 @@
   },
   {
    "@type": "ListItem",
-   "position": 26053,
+   "position": 26061,
    "item": {
     "@type": "ScholarlyArticle",
     "name": "these_are_exact_orders_and_counts_decided_over_a_finite_domain",
@@ -470293,7 +470445,7 @@
   },
   {
    "@type": "ListItem",
-   "position": 26054,
+   "position": 26062,
    "item": {
     "@type": "ScholarlyArticle",
     "name": "the_mirror_and_the_doubling_agree_at_no_residue",
@@ -470312,7 +470464,7 @@
   },
   {
    "@type": "ListItem",
-   "position": 26055,
+   "position": 26063,
    "item": {
     "@type": "ScholarlyArticle",
     "name": "confirming_a_witness_is_uniform_while_finding_one_is_not",
@@ -470331,7 +470483,7 @@
   },
   {
    "@type": "ListItem",
-   "position": 26056,
+   "position": 26064,
    "item": {
     "@type": "ScholarlyArticle",
     "name": "no_start_ever_crosses_between_the_units_and_the_non_units",
@@ -470350,7 +470502,7 @@
   },
   {
    "@type": "ListItem",
-   "position": 26057,
+   "position": 26065,
    "item": {
     "@type": "ScholarlyArticle",
     "name": "the_origin_is_reached_at_every_step_exactly_by_the_origin",
@@ -470369,7 +470521,7 @@
   },
   {
    "@type": "ListItem",
-   "position": 26058,
+   "position": 26066,
    "item": {
     "@type": "ScholarlyArticle",
     "name": "generating_the_same_set_is_exactly_being_of_the_same_kind",
@@ -470388,7 +470540,7 @@
   },
   {
    "@type": "ListItem",
-   "position": 26059,
+   "position": 26067,
    "item": {
     "@type": "ScholarlyArticle",
     "name": "the_orbit_is_antipodal_and_each_opposite_pair_sums_to_nine",
@@ -470407,7 +470559,7 @@
   },
   {
    "@type": "ListItem",
-   "position": 26060,
+   "position": 26068,
    "item": {
     "@type": "ScholarlyArticle",
     "name": "the_orbit_has_no_doubling_closed_part_but_nothing_and_itself",
@@ -470426,7 +470578,7 @@
   },
   {
    "@type": "ListItem",
-   "position": 26061,
+   "position": 26069,
    "item": {
     "@type": "ScholarlyArticle",
     "name": "the_pairing_is_one_ordering_of_seven_out_of_all_of_them",
@@ -470445,7 +470597,7 @@
   },
   {
    "@type": "ListItem",
-   "position": 26062,
+   "position": 26070,
    "item": {
     "@type": "ScholarlyArticle",
     "name": "the_thousand_bit_case_is_one_hundred_twenty_five_octaves",
@@ -470464,7 +470616,7 @@
   },
   {
    "@type": "ListItem",
-   "position": 26063,
+   "position": 26071,
    "item": {
     "@type": "ScholarlyArticle",
     "name": "the_binary_units_tile_the_thousand_exactly",
@@ -470483,7 +470635,7 @@
   },
   {
    "@type": "ListItem",
-   "position": 26064,
+   "position": 26072,
    "item": {
     "@type": "ScholarlyArticle",
     "name": "the_thousand_is_the_cube_octave_times_pentagram_cubed",
@@ -470502,7 +470654,7 @@
   },
   {
    "@type": "ListItem",
-   "position": 26065,
+   "position": 26073,
    "item": {
     "@type": "ScholarlyArticle",
     "name": "the_thousand_carries_residue_one_mod_nine",
@@ -470521,7 +470673,7 @@
   },
   {
    "@type": "ListItem",
-   "position": 26066,
+   "position": 26074,
    "item": {
     "@type": "ScholarlyArticle",
     "name": "the_thousand_bit_case_overflows_the_width_thirty_two_ceiling",
@@ -470540,7 +470692,7 @@
   },
   {
    "@type": "ListItem",
-   "position": 26067,
+   "position": 26075,
    "item": {
     "@type": "ScholarlyArticle",
     "name": "the_minimal_register_for_the_thousand_is_width_thirty_three",
@@ -470559,7 +470711,7 @@
   },
   {
    "@type": "ListItem",
-   "position": 26068,
+   "position": 26076,
    "item": {
     "@type": "ScholarlyArticle",
     "name": "the_thousand_fills_between_ninety_seven_and_ninety_eight_percent_of_its_register",
@@ -470578,7 +470730,7 @@
   },
   {
    "@type": "ListItem",
-   "position": 26069,
+   "position": 26077,
    "item": {
     "@type": "ScholarlyArticle",
     "name": "the_thousand_bit_structure_is_decided_not_a_quantum_machine",
@@ -470597,7 +470749,7 @@
   },
   {
    "@type": "ListItem",
-   "position": 26070,
+   "position": 26078,
    "item": {
     "@type": "ScholarlyArticle",
     "name": "doubling_returns_in_six_two_or_one",
@@ -470616,7 +470768,7 @@
   },
   {
    "@type": "ListItem",
-   "position": 26071,
+   "position": 26079,
    "item": {
     "@type": "ScholarlyArticle",
     "name": "the_long_loop_is_the_span_and_the_short_one_is_the_triad_pair",
@@ -470635,7 +470787,7 @@
   },
   {
    "@type": "ListItem",
-   "position": 26072,
+   "position": 26080,
    "item": {
     "@type": "ScholarlyArticle",
     "name": "both_loops_complete_three_hundred_and_sixty_degrees",
@@ -470654,7 +470806,7 @@
   },
   {
    "@type": "ListItem",
-   "position": 26073,
+   "position": 26081,
    "item": {
     "@type": "ScholarlyArticle",
     "name": "three_steps_of_the_long_loop_are_one_step_of_the_short",
@@ -470673,7 +470825,7 @@
   },
   {
    "@type": "ListItem",
-   "position": 26074,
+   "position": 26082,
    "item": {
     "@type": "ScholarlyArticle",
     "name": "the_orbits_are_disjoint_and_cover_the_ring",
@@ -470692,7 +470844,7 @@
   },
   {
    "@type": "ListItem",
-   "position": 26075,
+   "position": 26083,
    "item": {
     "@type": "ScholarlyArticle",
     "name": "the_reflection_leaves_four_loops_on_the_same_ring",
@@ -470711,7 +470863,7 @@
   },
   {
    "@type": "ListItem",
-   "position": 26076,
+   "position": 26084,
    "item": {
     "@type": "ScholarlyArticle",
     "name": "no_orbit_fails_to_return_under_either_map",
@@ -470730,7 +470882,7 @@
   },
   {
    "@type": "ListItem",
-   "position": 26077,
+   "position": 26085,
    "item": {
     "@type": "ScholarlyArticle",
     "name": "the_genus_is_the_definition_applied_to_the_count",
@@ -470749,7 +470901,7 @@
   },
   {
    "@type": "ListItem",
-   "position": 26078,
+   "position": 26086,
    "item": {
     "@type": "ScholarlyArticle",
     "name": "every_input_receives_one_of_the_five_verdicts",
@@ -470768,7 +470920,7 @@
   },
   {
    "@type": "ListItem",
-   "position": 26079,
+   "position": 26087,
    "item": {
     "@type": "ScholarlyArticle",
     "name": "the_five_classes_do_not_overlap",
@@ -470787,7 +470939,7 @@
   },
   {
    "@type": "ListItem",
-   "position": 26080,
+   "position": 26088,
    "item": {
     "@type": "ScholarlyArticle",
     "name": "a_source_going_silent_never_cleans_the_verdict",
@@ -470806,7 +470958,7 @@
   },
   {
    "@type": "ListItem",
-   "position": 26081,
+   "position": 26089,
    "item": {
     "@type": "ScholarlyArticle",
     "name": "the_clean_verdict_is_reachable_only_from_complete_evidence",
@@ -470825,7 +470977,7 @@
   },
   {
    "@type": "ListItem",
-   "position": 26082,
+   "position": 26090,
    "item": {
     "@type": "ScholarlyArticle",
     "name": "a_relevant_hit_outranks_any_amount_of_silence",
@@ -470844,7 +470996,7 @@
   },
   {
    "@type": "ListItem",
-   "position": 26083,
+   "position": 26091,
    "item": {
     "@type": "ScholarlyArticle",
     "name": "all_five_verdicts_occur",
@@ -470863,7 +471015,7 @@
   },
   {
    "@type": "ListItem",
-   "position": 26084,
+   "position": 26092,
    "item": {
     "@type": "ScholarlyArticle",
     "name": "too_few_terms_precedes_every_other_test",
@@ -470882,7 +471034,7 @@
   },
   {
    "@type": "ListItem",
-   "position": 26085,
+   "position": 26093,
    "item": {
     "@type": "ScholarlyArticle",
     "name": "the_rule_is_decided_and_the_search_quality_is_not",
@@ -470901,7 +471053,7 @@
   },
   {
    "@type": "ListItem",
-   "position": 26086,
+   "position": 26094,
    "item": {
     "@type": "ScholarlyArticle",
     "name": "the_register_at_each_width",
@@ -470920,7 +471072,7 @@
   },
   {
    "@type": "ListItem",
-   "position": 26087,
+   "position": 26095,
    "item": {
     "@type": "ScholarlyArticle",
     "name": "the_grover_exponent_at_each_width",
@@ -470939,7 +471091,7 @@
   },
   {
    "@type": "ListItem",
-   "position": 26088,
+   "position": 26096,
    "item": {
     "@type": "ScholarlyArticle",
     "name": "the_iso_floor_is_cleared_exactly_from_width_sixteen",
@@ -470958,7 +471110,7 @@
   },
   {
    "@type": "ListItem",
-   "position": 26089,
+   "position": 26097,
    "item": {
     "@type": "ScholarlyArticle",
     "name": "clearing_the_floor_is_two_hundred_fifty_six_free_bits",
@@ -470977,7 +471129,7 @@
   },
   {
    "@type": "ListItem",
-   "position": 26090,
+   "position": 26098,
    "item": {
     "@type": "ScholarlyArticle",
     "name": "the_uuid_is_width_four_and_sits_sixty_seven_below",
@@ -470996,7 +471148,7 @@
   },
   {
    "@type": "ListItem",
-   "position": 26091,
+   "position": 26099,
    "item": {
     "@type": "ScholarlyArticle",
     "name": "the_register_grows_strictly_with_the_width",
@@ -471015,7 +471167,7 @@
   },
   {
    "@type": "ListItem",
-   "position": 26092,
+   "position": 26100,
    "item": {
     "@type": "ScholarlyArticle",
     "name": "clearing_the_floor_needs_a_cost_exponent_of_at_least_256",
@@ -471034,7 +471186,7 @@
   },
   {
    "@type": "ListItem",
-   "position": 26093,
+   "position": 26101,
    "item": {
     "@type": "ScholarlyArticle",
     "name": "the_cost_exponent_is_more_than_the_square_root_exponent_at_every_width",
@@ -471053,7 +471205,7 @@
   },
   {
    "@type": "ListItem",
-   "position": 26094,
+   "position": 26102,
    "item": {
     "@type": "ScholarlyArticle",
     "name": "the_uuid_width_is_one_fact_in_two_units",
@@ -471072,7 +471224,7 @@
   },
   {
    "@type": "ListItem",
-   "position": 26095,
+   "position": 26103,
    "item": {
     "@type": "ScholarlyArticle",
     "name": "bytes_to_bits_and_back_is_the_identity",
@@ -471091,7 +471243,7 @@
   },
   {
    "@type": "ListItem",
-   "position": 26096,
+   "position": 26104,
    "item": {
     "@type": "ScholarlyArticle",
     "name": "the_key_doubles_the_identifier_and_the_signature_doubles_the_key",
@@ -471110,7 +471262,7 @@
   },
   {
    "@type": "ListItem",
-   "position": 26097,
+   "position": 26105,
    "item": {
     "@type": "ScholarlyArticle",
     "name": "the_doubling_survives_the_conversion",
@@ -471129,7 +471281,7 @@
   },
   {
    "@type": "ListItem",
-   "position": 26098,
+   "position": 26106,
    "item": {
     "@type": "ScholarlyArticle",
     "name": "the_key_and_the_signature_together_are_six_identifiers",
@@ -471148,7 +471300,7 @@
   },
   {
    "@type": "ListItem",
-   "position": 26099,
+   "position": 26107,
    "item": {
     "@type": "ScholarlyArticle",
     "name": "no_other_width_converts_to_this_container",
@@ -471167,7 +471319,7 @@
   },
   {
    "@type": "ListItem",
-   "position": 26100,
+   "position": 26108,
    "item": {
     "@type": "ScholarlyArticle",
     "name": "the_constants_are_instances_of_the_law_and_not_the_law",
@@ -471186,7 +471338,7 @@
   },
   {
    "@type": "ListItem",
-   "position": 26101,
+   "position": 26109,
    "item": {
     "@type": "ScholarlyArticle",
     "name": "the_binding_is_consistency_and_not_derivation",
@@ -471205,7 +471357,7 @@
   },
   {
    "@type": "ListItem",
-   "position": 26102,
+   "position": 26110,
    "item": {
     "@type": "ScholarlyArticle",
     "name": "the_payload_and_the_check_exhaust_the_free_bits",
@@ -471224,7 +471376,7 @@
   },
   {
    "@type": "ListItem",
-   "position": 26103,
+   "position": 26111,
    "item": {
     "@type": "ScholarlyArticle",
     "name": "the_check_is_exactly_what_the_payload_does_not_take",
@@ -471243,7 +471395,7 @@
   },
   {
    "@type": "ListItem",
-   "position": 26104,
+   "position": 26112,
    "item": {
     "@type": "ScholarlyArticle",
     "name": "splitting_a_width_is_undone_by_either_part",
@@ -471262,7 +471414,7 @@
   },
   {
    "@type": "ListItem",
-   "position": 26105,
+   "position": 26113,
    "item": {
     "@type": "ScholarlyArticle",
     "name": "reserving_and_freeing_are_inverse_at_every_width",
@@ -471281,7 +471433,7 @@
   },
   {
    "@type": "ListItem",
-   "position": 26106,
+   "position": 26114,
    "item": {
     "@type": "ScholarlyArticle",
     "name": "one_more_bit_doubles_the_space_at_every_width",
@@ -471300,7 +471452,7 @@
   },
   {
    "@type": "ListItem",
-   "position": 26107,
+   "position": 26115,
    "item": {
     "@type": "ScholarlyArticle",
     "name": "the_space_recovers_the_width_it_came_from",
@@ -471319,7 +471471,7 @@
   },
   {
    "@type": "ListItem",
-   "position": 26108,
+   "position": 26116,
    "item": {
     "@type": "ScholarlyArticle",
     "name": "the_unit_conversion_is_a_bijection_on_multiples_of_eight",
@@ -471338,7 +471490,7 @@
   },
   {
    "@type": "ListItem",
-   "position": 26109,
+   "position": 26117,
    "item": {
     "@type": "ScholarlyArticle",
     "name": "the_laws_separate_widths_rather_than_collapsing_them",
@@ -471357,7 +471509,7 @@
   },
   {
    "@type": "ListItem",
-   "position": 26110,
+   "position": 26118,
    "item": {
     "@type": "ScholarlyArticle",
     "name": "fitting_is_the_order_and_not_fitting_is_its_negation",
@@ -471376,7 +471528,7 @@
   },
   {
    "@type": "ListItem",
-   "position": 26111,
+   "position": 26119,
    "item": {
     "@type": "ScholarlyArticle",
     "name": "the_gap_is_what_is_left_and_adding_it_back_returns",
@@ -471395,7 +471547,7 @@
   },
   {
    "@type": "ListItem",
-   "position": 26112,
+   "position": 26120,
    "item": {
     "@type": "ScholarlyArticle",
     "name": "the_identifier_holds_neither_the_key_nor_the_signature",
@@ -471414,7 +471566,7 @@
   },
   {
    "@type": "ListItem",
-   "position": 26113,
+   "position": 26121,
    "item": {
     "@type": "ScholarlyArticle",
     "name": "the_conversion_carries_the_containment",
@@ -471433,7 +471585,7 @@
   },
   {
    "@type": "ListItem",
-   "position": 26114,
+   "position": 26122,
    "item": {
     "@type": "ScholarlyArticle",
     "name": "the_gap_between_payload_and_check_is_their_difference",
@@ -471452,7 +471604,7 @@
   },
   {
    "@type": "ListItem",
-   "position": 26115,
+   "position": 26123,
    "item": {
     "@type": "ScholarlyArticle",
     "name": "a_gap_in_bits_is_a_factor_in_space",
@@ -471471,7 +471623,7 @@
   },
   {
    "@type": "ListItem",
-   "position": 26116,
+   "position": 26124,
    "item": {
     "@type": "ScholarlyArticle",
     "name": "the_laws_separate_the_order_rather_than_collapsing_it",
@@ -471490,7 +471642,7 @@
   },
   {
    "@type": "ListItem",
-   "position": 26117,
+   "position": 26125,
    "item": {
     "@type": "ScholarlyArticle",
     "name": "truncation_reports_no_gap_where_the_order_reverses",
@@ -471509,7 +471661,7 @@
   },
   {
    "@type": "ListItem",
-   "position": 26118,
+   "position": 26126,
    "item": {
     "@type": "ScholarlyArticle",
     "name": "units_are_six",
@@ -471528,7 +471680,7 @@
   },
   {
    "@type": "ListItem",
-   "position": 26119,
+   "position": 26127,
    "item": {
     "@type": "ScholarlyArticle",
     "name": "units_count",
@@ -471547,7 +471699,7 @@
   },
   {
    "@type": "ListItem",
-   "position": 26120,
+   "position": 26128,
    "item": {
     "@type": "ScholarlyArticle",
     "name": "hasinv_units",
@@ -471566,7 +471718,7 @@
   },
   {
    "@type": "ListItem",
-   "position": 26121,
+   "position": 26129,
    "item": {
     "@type": "ScholarlyArticle",
     "name": "hasinv_triad_not",
@@ -471585,7 +471737,7 @@
   },
   {
    "@type": "ListItem",
-   "position": 26122,
+   "position": 26130,
    "item": {
     "@type": "ScholarlyArticle",
     "name": "selfinv_exactly_one_and_eight",
@@ -471604,7 +471756,7 @@
   },
   {
    "@type": "ListItem",
-   "position": 26123,
+   "position": 26131,
    "item": {
     "@type": "ScholarlyArticle",
     "name": "euler_units_pow_six",
@@ -471623,7 +471775,7 @@
   },
   {
    "@type": "ListItem",
-   "position": 26124,
+   "position": 26132,
    "item": {
     "@type": "ScholarlyArticle",
     "name": "invpow_is_u_to_the_fifth",
@@ -471642,7 +471794,7 @@
   },
   {
    "@type": "ListItem",
-   "position": 26125,
+   "position": 26133,
    "item": {
     "@type": "ScholarlyArticle",
     "name": "powsum_zero_at_six",
@@ -471661,7 +471813,7 @@
   },
   {
    "@type": "ListItem",
-   "position": 26126,
+   "position": 26134,
    "item": {
     "@type": "ScholarlyArticle",
     "name": "powsum_zero_at_one",
@@ -471680,7 +471832,7 @@
   },
   {
    "@type": "ListItem",
-   "position": 26127,
+   "position": 26135,
    "item": {
     "@type": "ScholarlyArticle",
     "name": "mulperm_iff_unit",
@@ -471699,7 +471851,7 @@
   },
   {
    "@type": "ListItem",
-   "position": 26128,
+   "position": 26136,
    "item": {
     "@type": "ScholarlyArticle",
     "name": "addgen_iff_coprime",
@@ -471718,7 +471870,7 @@
   },
   {
    "@type": "ListItem",
-   "position": 26129,
+   "position": 26137,
    "item": {
     "@type": "ScholarlyArticle",
     "name": "selfneg_only_zero",
@@ -471737,7 +471889,7 @@
   },
   {
    "@type": "ListItem",
-   "position": 26130,
+   "position": 26138,
    "item": {
     "@type": "ScholarlyArticle",
     "name": "orbit_is_the_six",
@@ -471756,7 +471908,7 @@
   },
   {
    "@type": "ListItem",
-   "position": 26131,
+   "position": 26139,
    "item": {
     "@type": "ScholarlyArticle",
     "name": "orbit_closes",
@@ -471775,7 +471927,7 @@
   },
   {
    "@type": "ListItem",
-   "position": 26132,
+   "position": 26140,
    "item": {
     "@type": "ScholarlyArticle",
     "name": "orbit_distinct",
@@ -471794,7 +471946,7 @@
   },
   {
    "@type": "ListItem",
-   "position": 26133,
+   "position": 26141,
    "item": {
     "@type": "ScholarlyArticle",
     "name": "orbit_covers_units",
@@ -471813,7 +471965,7 @@
   },
   {
    "@type": "ListItem",
-   "position": 26134,
+   "position": 26142,
    "item": {
     "@type": "ScholarlyArticle",
     "name": "the_orbit_step_is_read_back_by_its_log",
@@ -471832,7 +471984,7 @@
   },
   {
    "@type": "ListItem",
-   "position": 26135,
+   "position": 26143,
    "item": {
     "@type": "ScholarlyArticle",
     "name": "triad_never_reaches_one",
@@ -471851,7 +472003,7 @@
   },
   {
    "@type": "ListItem",
-   "position": 26136,
+   "position": 26144,
    "item": {
     "@type": "ScholarlyArticle",
     "name": "triad_squares_vanish",
@@ -471870,7 +472022,7 @@
   },
   {
    "@type": "ListItem",
-   "position": 26137,
+   "position": 26145,
    "item": {
     "@type": "ScholarlyArticle",
     "name": "add_group",
@@ -471889,7 +472041,7 @@
   },
   {
    "@type": "ListItem",
-   "position": 26138,
+   "position": 26146,
    "item": {
     "@type": "ScholarlyArticle",
     "name": "neg_involution",
@@ -471908,7 +472060,7 @@
   },
   {
    "@type": "ListItem",
-   "position": 26139,
+   "position": 26147,
    "item": {
     "@type": "ScholarlyArticle",
     "name": "orbit_repeats_every_six",
@@ -471927,7 +472079,7 @@
   },
   {
    "@type": "ListItem",
-   "position": 26140,
+   "position": 26148,
    "item": {
     "@type": "ScholarlyArticle",
     "name": "orbit_is_its_exponent_mod_six",
@@ -471946,7 +472098,7 @@
   },
   {
    "@type": "ListItem",
-   "position": 26141,
+   "position": 26149,
    "item": {
     "@type": "ScholarlyArticle",
     "name": "the_orbit_step_is_read_back_by_its_log_for_every_k",
@@ -471965,7 +472117,7 @@
   },
   {
    "@type": "ListItem",
-   "position": 26142,
+   "position": 26150,
    "item": {
     "@type": "ScholarlyArticle",
     "name": "squares_land_exactly_in_zero_one_four_seven",
@@ -471984,7 +472136,7 @@
   },
   {
    "@type": "ListItem",
-   "position": 26143,
+   "position": 26151,
    "item": {
     "@type": "ScholarlyArticle",
     "name": "five_is_not_a_square_mod_nine",
@@ -472003,7 +472155,7 @@
   },
   {
    "@type": "ListItem",
-   "position": 26144,
+   "position": 26152,
    "item": {
     "@type": "ScholarlyArticle",
     "name": "cubes_land_exactly_in_zero_one_eight",
@@ -472022,7 +472174,7 @@
   },
   {
    "@type": "ListItem",
-   "position": 26145,
+   "position": 26153,
    "item": {
     "@type": "ScholarlyArticle",
     "name": "primitive_roots_are_exactly_two_and_five",
@@ -472041,7 +472193,7 @@
   },
   {
    "@type": "ListItem",
-   "position": 26146,
+   "position": 26154,
    "item": {
     "@type": "ScholarlyArticle",
     "name": "primitive_root_iff_generates_the_units",
@@ -472060,7 +472212,7 @@
   },
   {
    "@type": "ListItem",
-   "position": 26147,
+   "position": 26155,
    "item": {
     "@type": "ScholarlyArticle",
     "name": "doubling_has_period_six",
@@ -472079,7 +472231,7 @@
   },
   {
    "@type": "ListItem",
-   "position": 26148,
+   "position": 26156,
    "item": {
     "@type": "ScholarlyArticle",
     "name": "no_period_smaller_than_six",
@@ -472098,7 +472250,7 @@
   },
   {
    "@type": "ListItem",
-   "position": 26149,
+   "position": 26157,
    "item": {
     "@type": "ScholarlyArticle",
     "name": "digital_root_agrees_with_the_residue",
@@ -472117,7 +472269,7 @@
   },
   {
    "@type": "ListItem",
-   "position": 26150,
+   "position": 26158,
    "item": {
     "@type": "ScholarlyArticle",
     "name": "digital_root_is_the_digit_sum_residue",
@@ -472136,7 +472288,7 @@
   },
   {
    "@type": "ListItem",
-   "position": 26151,
+   "position": 26159,
    "item": {
     "@type": "ScholarlyArticle",
     "name": "reversal_cannot_change_the_digital_root",
@@ -472155,7 +472307,7 @@
   },
   {
    "@type": "ListItem",
-   "position": 26152,
+   "position": 26160,
    "item": {
     "@type": "ScholarlyArticle",
     "name": "orbit_digital_roots_have_period_six",
@@ -472174,7 +472326,7 @@
   },
   {
    "@type": "ListItem",
-   "position": 26153,
+   "position": 26161,
    "item": {
     "@type": "ScholarlyArticle",
     "name": "the_orders_of_the_units_are_exact",
@@ -472193,7 +472345,7 @@
   },
   {
    "@type": "ListItem",
-   "position": 26154,
+   "position": 26162,
    "item": {
     "@type": "ScholarlyArticle",
     "name": "the_unit_table_is_a_latin_square",
@@ -472212,7 +472364,7 @@
   },
   {
    "@type": "ListItem",
-   "position": 26155,
+   "position": 26163,
    "item": {
     "@type": "ScholarlyArticle",
     "name": "the_orbit_never_meets_the_triad",
@@ -472231,7 +472383,7 @@
   },
   {
    "@type": "ListItem",
-   "position": 26156,
+   "position": 26164,
    "item": {
     "@type": "ScholarlyArticle",
     "name": "the_reflected_orbit_covers_the_whole_triad",
@@ -472250,7 +472402,7 @@
   },
   {
    "@type": "ListItem",
-   "position": 26157,
+   "position": 26165,
    "item": {
     "@type": "ScholarlyArticle",
     "name": "reflection_splits_the_orbit_in_half",
@@ -472269,7 +472421,7 @@
   },
   {
    "@type": "ListItem",
-   "position": 26158,
+   "position": 26166,
    "item": {
     "@type": "ScholarlyArticle",
     "name": "the_crossing_pairs_are_one_four_seven",
@@ -472288,7 +472440,7 @@
   },
   {
    "@type": "ListItem",
-   "position": 26159,
+   "position": 26167,
    "item": {
     "@type": "ScholarlyArticle",
     "name": "reflection_is_injective_on_the_orbit",
@@ -472307,7 +472459,7 @@
   },
   {
    "@type": "ListItem",
-   "position": 26160,
+   "position": 26168,
    "item": {
     "@type": "ScholarlyArticle",
     "name": "doubling_alone_reaches_only_the_units",
@@ -472326,7 +472478,7 @@
   },
   {
    "@type": "ListItem",
-   "position": 26161,
+   "position": 26169,
    "item": {
     "@type": "ScholarlyArticle",
     "name": "reflection_alone_reaches_only_two",
@@ -472345,7 +472497,7 @@
   },
   {
    "@type": "ListItem",
-   "position": 26162,
+   "position": 26170,
    "item": {
     "@type": "ScholarlyArticle",
     "name": "doubling_and_reflection_together_reach_every_residue",
@@ -472364,7 +472516,7 @@
   },
   {
    "@type": "ListItem",
-   "position": 26163,
+   "position": 26171,
    "item": {
     "@type": "ScholarlyArticle",
     "name": "every_residue_is_reachable_from_one",
@@ -472383,7 +472535,7 @@
   },
   {
    "@type": "ListItem",
-   "position": 26164,
+   "position": 26172,
    "item": {
     "@type": "ScholarlyArticle",
     "name": "the_diameter_is_exactly_four",
@@ -472402,7 +472554,7 @@
   },
   {
    "@type": "ListItem",
-   "position": 26165,
+   "position": 26173,
    "item": {
     "@type": "ScholarlyArticle",
     "name": "the_frontier_grows_by_two_each_round",
@@ -472421,7 +472573,7 @@
   },
   {
    "@type": "ListItem",
-   "position": 26166,
+   "position": 26174,
    "item": {
     "@type": "ScholarlyArticle",
     "name": "product_of_the_units_is_minus_one",
@@ -472440,7 +472592,7 @@
   },
   {
    "@type": "ListItem",
-   "position": 26167,
+   "position": 26175,
    "item": {
     "@type": "ScholarlyArticle",
     "name": "pisano_period_mod_nine_is_twenty_four",
@@ -472459,7 +472611,7 @@
   },
   {
    "@type": "ListItem",
-   "position": 26168,
+   "position": 26176,
    "item": {
     "@type": "ScholarlyArticle",
     "name": "no_proper_divisor_of_twenty_four_is_a_period",
@@ -472478,7 +472630,7 @@
   },
   {
    "@type": "ListItem",
-   "position": 26169,
+   "position": 26177,
    "item": {
     "@type": "ScholarlyArticle",
     "name": "fibonacci_recurrence_holds",
@@ -472497,7 +472649,7 @@
   },
   {
    "@type": "ListItem",
-   "position": 26170,
+   "position": 26178,
    "item": {
     "@type": "ScholarlyArticle",
     "name": "consecutive_fibonacci_are_coprime",
@@ -472516,7 +472668,7 @@
   },
   {
    "@type": "ListItem",
-   "position": 26171,
+   "position": 26179,
    "item": {
     "@type": "ScholarlyArticle",
     "name": "three_five_eight_are_consecutive_fibonacci",
@@ -472535,7 +472687,7 @@
   },
   {
    "@type": "ListItem",
-   "position": 26172,
+   "position": 26180,
    "item": {
     "@type": "ScholarlyArticle",
     "name": "units_and_triad_partition_the_ring",
@@ -472554,7 +472706,7 @@
   },
   {
    "@type": "ListItem",
-   "position": 26173,
+   "position": 26181,
    "item": {
     "@type": "ScholarlyArticle",
     "name": "both_parts_sum_to_zero",
@@ -472573,7 +472725,7 @@
   },
   {
    "@type": "ListItem",
-   "position": 26174,
+   "position": 26182,
    "item": {
     "@type": "ScholarlyArticle",
     "name": "doubling_has_period_six_for_every_k",
@@ -472592,7 +472744,7 @@
   },
   {
    "@type": "ListItem",
-   "position": 26175,
+   "position": 26183,
    "item": {
     "@type": "ScholarlyArticle",
     "name": "orbit_digital_roots_have_period_six_for_every_k",
@@ -472611,7 +472763,7 @@
   },
   {
    "@type": "ListItem",
-   "position": 26176,
+   "position": 26184,
    "item": {
     "@type": "ScholarlyArticle",
     "name": "the_doubling_orbit_is_read_from_the_exponent_mod_six",
@@ -472630,7 +472782,7 @@
   },
   {
    "@type": "ListItem",
-   "position": 26177,
+   "position": 26185,
    "item": {
     "@type": "ScholarlyArticle",
     "name": "the_orbit_never_meets_the_triad_for_every_k",
@@ -472649,7 +472801,7 @@
   },
   {
    "@type": "ListItem",
-   "position": 26178,
+   "position": 26186,
    "item": {
     "@type": "ScholarlyArticle",
     "name": "fibonacci_residues_mod_nine_repeat_every_twenty_four_steps",
@@ -472668,7 +472820,7 @@
   },
   {
    "@type": "ListItem",
-   "position": 26179,
+   "position": 26187,
    "item": {
     "@type": "ScholarlyArticle",
     "name": "pisano_period_mod_nine_is_twenty_four_for_every_k",
@@ -472687,7 +472839,7 @@
   },
   {
    "@type": "ListItem",
-   "position": 26180,
+   "position": 26188,
    "item": {
     "@type": "ScholarlyArticle",
     "name": "the_fuelled_gcd_is_the_gcd_when_the_fuel_exceeds_the_second_argument",
@@ -472706,7 +472858,7 @@
   },
   {
    "@type": "ListItem",
-   "position": 26181,
+   "position": 26189,
    "item": {
     "@type": "ScholarlyArticle",
     "name": "consecutive_fibonacci_numbers_are_coprime",
@@ -472725,7 +472877,7 @@
   },
   {
    "@type": "ListItem",
-   "position": 26182,
+   "position": 26190,
    "item": {
     "@type": "ScholarlyArticle",
     "name": "consecutive_fibonacci_are_coprime_for_every_n",
@@ -472744,7 +472896,7 @@
   },
   {
    "@type": "ListItem",
-   "position": 26183,
+   "position": 26191,
    "item": {
     "@type": "ScholarlyArticle",
     "name": "digital_root_agrees_with_the_residue_for_every_n",
@@ -472763,7 +472915,7 @@
   },
   {
    "@type": "ListItem",
-   "position": 26184,
+   "position": 26192,
    "item": {
     "@type": "ScholarlyArticle",
     "name": "digital_root_is_the_digit_sum_residue_for_every_n",
@@ -472782,7 +472934,7 @@
   },
   {
    "@type": "ListItem",
-   "position": 26185,
+   "position": 26193,
    "item": {
     "@type": "ScholarlyArticle",
     "name": "halving_undoes_doubling_at_every_step",
@@ -472801,7 +472953,7 @@
   },
   {
    "@type": "ListItem",
-   "position": 26186,
+   "position": 26194,
    "item": {
     "@type": "ScholarlyArticle",
     "name": "halving_has_period_six_for_every_k",
@@ -472820,7 +472972,7 @@
   },
   {
    "@type": "ListItem",
-   "position": 26187,
+   "position": 26195,
    "item": {
     "@type": "ScholarlyArticle",
     "name": "halving_orbit_digital_roots_have_period_six_for_every_k",
@@ -472839,7 +472991,7 @@
   },
   {
    "@type": "ListItem",
-   "position": 26188,
+   "position": 26196,
    "item": {
     "@type": "ScholarlyArticle",
     "name": "the_reflected_orbit_meets_the_triad_exactly_at_one_four_seven_for_every_k",
@@ -472858,7 +473010,7 @@
   },
   {
    "@type": "ListItem",
-   "position": 26189,
+   "position": 26197,
    "item": {
     "@type": "ScholarlyArticle",
     "name": "reversal_cannot_change_the_digital_root_for_every_n",