Editors' Note to the Lempert-Lambek Dialogue. (June 2015)