Her rule said: if you replace one part of a program, the new part must behave in every way that the old part did.