Witness Update and Application to MSP