Let's regroup to work on tier ii', but first let plan it correctly. What is take to accomplish this task? Break this down into sub-stages so we can work on it one at a time. What is the possiblity of this can be done? Please think deep and analyze the problem we have here and find ways to close the Lean-verified contour bound issue we have in this paper. Let me know what you think and your plan on this matter.