Today is Leonille Zaragoza Enriquez’s birthday. Let’s sing happy birthday.