Do the redshifts of gravitational lens galaxies rule out a large cosmological constant? | Synapse