Great explanation. The last part of the equation is 'Build'. If the isolation valves are closed and the pump runs, it can't go anywhere but backwards and by default, restores lost pedal travel.

At least that was how it was explained to me in a Teves trainin... Login to read more.