Text this: Mario Ruiz Sanz. In memoriam.