In memoriam: Giovanni REALE