Is "a=a" known a posteriori? - Freund C. Max A.,