Noted that the network needs to be in the inital state in the proof.