complete last part of substitutability proof.