Updated some transport related proofs