Proof with errors
Some example
Example 3
Example 4
Another proof
Chunky Example
Deeply nested example
predicate logic proof
forall/exists duality 1
forall/exists duality 2
forall/exists duality 3
forall/exists duality 4
Drinker paradox
k + 0 = 0 + k
b + a = a + b
