However one can construct a Heyting algebra in which the value of Peirce's law is not always 1.
但是你可以一个海廷代数在其中皮尔士定律的值不总是1。