However, intuitionistic connectives are not definable in terms of each other in the same way as in classical logic, hence their choice matters.
Проте, інтуїціоністські зв'язки не визначені один з одним таким самим чином, як у класичній логіці, отже, їх вибір має значення.