In Memoriam José S. Lasso de la Vega. MIN 2019, No. 10, 5.