Let's add this plan into our standard protocol and we can keep track of the progress. Also we can stop and go anytime without loosing anything. Always have a crash safe protocol. Once we accomplished this plan, we need to know to come back to the original plan and finish our Theorem.