Jonsson, B. and Tarski, A. (1961) “On Two Properties of Free Algebras”., MATHEMATICA SCANDINAVICA, 9, pp. 95–101. doi: 10.7146/math.scand.a-10627.