When I read the program code for PS4, all I could say "It is obvious that it works..." and still you have to prove it...Feels like as if smb asked you to prove that 2^2=4...Obvious thing but the proof makes you do some work...
Anyway back to Assignment 2...