User blog comment:Bubby3/Walkthrough of BMS./@comment-35470197-20190216042718/@comment-35470197-20190216065007

> So adding (1,1,0)'s adds \(\Omega\)'s to the OCF represtation

By the way, what does "add \(\Omega\)'s to the OCF represtation" precisely mean? For example, could you tell me what ordinals (presented by Buchholz's OCF) the pair sequences correspond to in your sense?
 * (0,0)(1,1)(2,2)(3,3)(2,2)
 * (0,0)(1,1)(2,2)(3,3)(2,2)(2,1)