Back to the record CS488-Week5-Update The proof has been completed. This week I will work on writing it out rigorously, as well as designing the program.