The optimal general upper bound for the distinguishing index of infinite graphs. Issue 4 (16th August 2019)