Text this: The projective independence axiom.