factorization: semi_regular -> no_yellow_on_top
do_regularize: jumping right into it, "Two-Buffer Case"