P. Błaszczyk and K. Mrówka, “Between obviousness and deduction. Plato and Euclid on equality”, ZFN, no. 48, pp. 127–147, Jun. 2011.