Leonardo Araujo's contributions