Improved connectivity proofs