Is "a=a" known a posteriori? - Freund Carvajal, Max Alberto 1954-