I. Max, “Existence, the square of opposites, and two-dimensional logic”, LLP, no. 2, pp. 135–149, Jan. 2003.