Prove that with simultaneous initiation, protocol Symmetry can be modified so as to work correctly in every network of known girth. (Hint: Use the girth instead of n in the waiting function.)