Proofs on environments and shuffles