updated interleaving proof