Arc Forum
new
|
comments
|
leaders
|
submit
login
1 point
by
simonb
6173 days ago |
link
|
parent
It probably has more to do with if being one of the primitives (or axioms if you will).