Notes on conducting rank proof after inlining makeT