At first it seems obvious, but the more you think about it the stranger the deductions from this axiom seem to become; in the end you cease to understand what is meant by it.
