[finite-model-theory] Why the hexagon of opposition is really a triangle: logical