Reduced product theory + implementation, wip