33.3%
33.3%
33.3%
Labels size
Identity
Non-contradiction
Excluded middle
Excluded middle
Identity
Non-contradiction
Excluded middle