new strand space proofs done up to bundles