'KenomaArchitectureForce.material_cut_force' depends on axioms: [propext, Classical.choice, Quot.sound] 'KenomaArchitectureForce.parallel_area_aggregation' depends on axioms: [propext, Classical.choice, Quot.sound] 'KenomaArchitectureForce.projection_once' depends on axioms: [propext, Classical.choice, Quot.sound] 'KenomaArchitectureForce.two_group_projected_sum' depends on axioms: [propext, Classical.choice, Quot.sound] 'KenomaArchitectureForce.series_balance_telescopes' depends on axioms: [propext, Classical.choice, Quot.sound] 'KenomaArchitectureForce.paired_exchange_power' depends on axioms: [propext, Classical.choice, Quot.sound]