Editor's Note. (2nd July 2020)