13.2 Show that if the hardware clock is within a linear envelope of real time and the adjusted clock is within a linear envelope of the hardware clock, then the adjusted clock is within a linear envelope of real time. Calculate the validity parameter of the adjusted clocks with respect to real time, as a function of p and y.